Introduction to concurrency theory [electronic resource] : transition systems and CCS / Roberto Gorrieri, Cristian Versari.
2015
QA76.9.M35
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Introduction to concurrency theory [electronic resource] : transition systems and CCS / Roberto Gorrieri, Cristian Versari.
Author
Gorrieri, Roberto, author.
ISBN
9783319214917 electronic book
3319214918 electronic book
9783319214900
3319214918 electronic book
9783319214900
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (xi, 334 pages) : illustrations.
Item Number
10.1007/978-3-319-21491-7 doi
Call Number
QA76.9.M35
Dewey Decimal Classification
004.0151
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 14, 2015).
Added Author
Versari, Cristian, author.
Series
Texts in theoretical computer science.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources