Modelling distributed systems
By: Fokkink, Wan.
Material type:
BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer, 2007Description: viii, 151 p.; ill.: 24 cm.ISBN: 9783540739371 .Subject(s): Modelling distributed systems | Algebra | Tree identity protocol | Computer programming & programming language | Informatique | Theory of Computation | Symbolic and Algebraic Manipulation | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Parallel programs (Computer programs) - Verification | Parallel processing (Electronic computers) | Electronic data processing - Distributed processing | Distributed operating systems (Computers)DDC classification: 003.78 Summary: Guides students through algebraic specification and verification of distributed systems and some of the most prominent formal verification techniques
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 003.78 FOK (Browse shelf) | Available | 018228 |
Includes bibliography and index
Guides students through algebraic specification and verification of distributed systems and some of the most prominent formal verification techniques
There are no comments for this item.