An edition of Compositionality, concurrency, and partial correctness
(1989)
Compositionality, concurrency, and partial correctness
proof theories for networks of processes and their relationship
by J. Zwiers
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Automatic theorem proving, Parallel processing (Electronic computers), Décomposition programme, Compositionnalité, TNP, Théorèmes, DNP, Processus communicant, Modularité, Parallélisme (informatique), Correction programme, Complétude, Démonstration automatique, Preuve programme, Réseau processus, Partiell korrektes Programm, Programmverifikation, Dekomposition, Nebenläufigkeit| Edition | Availability |
|---|---|
1
Compositionality, concurrency, and partial correctness: proof theories for networks of processes and their relationship
1989, Springer-Verlag
in English
0387508457 9780387508450
|
aaaa
|
Book Details
Edition Notes
Bibliography: p. 266-272.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| July 23, 2024 | Edited by MARC Bot | import existing book |
| November 30, 2020 | Edited by ImportBot | import existing book |
| June 29, 2019 | Edited by MARC Bot | import existing book |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |