Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Introduction to Concurrency Theory Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.
Texts in Theoretical Computer Science. An EATCS Series,
Texts in Theoretical Computer Science An EATCS Series,
Main Entry:
Gorrieri, Roberto. author.
Versari, Cristian. author.
SpringerLink (Online service)
Publisher:
Springer International Publishing : Imprint: Springer,
Publication Date:
2015.
Publication Place:
Cham :
ISBN:
9783319214917
Subject:
Computer science.
Software engineering.
Computers.
Computer science -- Mathematics.
Mathematical logic.
Computer science.
Theory of Computation.
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Mathematical Logic and Foundations.
Series:
Texts in Theoretical Computer Science. An EATCS Series,
Texts in Theoretical Computer Science An EATCS Series,
Edition:
1st ed. 2015.
Contents:
Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index.
Related Records:
Springer eBooks
Printed edition: 9783319214900
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Item Type:
Status:
Barcode:
Media Type:
JUST Main Library
Electronic Resources
No Circulation
Available Online
-711874
Book