Items related to Compositionality, Concurrency, and Partial Correctness:...

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship - Softcover

Zwiers, Job

 
9783662183823: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Softcover
ISBN 10: 366218382X ISBN 13: 9783662183823
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

The languages DNP and TNP.- The semantics for TNP.- Correctness formulae.- Proof systems for TNP.- Completeness.- The Hoare and Invariant systems.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
366218382X
ISBN 13 
9783662183823
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540508458: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship: 321 (Lecture Notes in Computer Science, 321)

Featured Edition

ISBN 10:  3540508457 ISBN 13:  9783540508458
Publisher: Springer, 1989
Softcover