An edition of Compositionality, Concurrency, and Partial Correctness
(2007)
Compositionality, Concurrency, and Partial Correctness
by Job Zwiers
Share
×Close
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?
History
- Created April 30, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 4, 2021 | Edited by ImportBot | import existing book |
| January 8, 2011 | Edited by AMillarBot | move edition notes from title to notes field (Lecture Notes in Computer Science) |
| April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| December 15, 2009 | Edited by WorkBot | link works |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |