DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Springer 1980 1980 ed. Trade paperback Good. Trade paperback (US). Glued binding. 174 p. Contains: Illustrations, black & white. Lecture Notes in Computer Science, 92. Audience: General/trade. SOFT COVER(1812A) ) FOLLOWING SPECIAL DESCRIPTION CAREFULLY: This sale is for a used Soft Cover Book: This book may be Contains writing Marking, Highlight, Answers for most Questions, Notes, Names, Marker s Marks, and/Under-lining. Back and front cover (wrinkled & creased), Stem s binding (Good), Water damaged (NONE), wrinkled pages (yes). You will be at most 65% satisfied with this item or your money back guarantee.
ISBN10: 3540102353, ISBN13: 9783540102359, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion. [Einbeck, Germany] [Publication Year: 1980]
ISBN10: 3540102353, ISBN13: 9783540102359, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion. [Einbeck, Germany] [Publication Year: 1980]
Springer. Paperback. New. New. In shrink wrap. Looks like an interesting title! Springer ISBN 3540102353 9783540102359 [US]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.