An edition of Compositionality, Concurrency, and Partial Correctness
(2007)
Compositionality, Concurrency, and Partial Correctness
by Job Zwiers
Share
×Close
Last edited by AMillarBot
January 8, 2011 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Compositionality, Concurrency, and Partial Correctness
October 2, 2007, Springer
Paperback
in English
3540508457 9783540508458
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs."
Edition Notes
Lecture Notes in Computer Science
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| January 8, 2011 | Edited by AMillarBot | move edition notes from title to notes field (Lecture Notes in Computer Science) |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |