Process algebras for Petri nets : the alphabetization of distributed systems / Roberto Gorrieri.
2017
QA267
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Process algebras for Petri nets : the alphabetization of distributed systems / Roberto Gorrieri.
Author
ISBN
9783319555591 (electronic book)
3319555596 (electronic book)
9783319555584
3319555588
3319555596 (electronic book)
9783319555584
3319555588
Published
Cham, Switzerland : Springer, [2017]
Language
English
Description
1 online resource : illustrations.
Call Number
QA267
Dewey Decimal Classification
004/.36
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 (viewed April 19, 2017).
Series
Monographs in theoretical computer science.
Available in Other Form
Print version: 3319555588
Linked Resources
Record Appears in