Check nearby libraries
Buy this book
This edition 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äufigkeitShowing 1 featured edition. View all 1 editions?
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
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Bibliography: p. 266-272.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?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 |