Modelling Distributed Systems
64
%
561 Kč 1 574 Kč
Odesíláme do 1 až 2 týdnů
Sleva až 70% u třetiny knih
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
| Autor: | Fokkink, Wan (Professor of theoretical computer science at the Vrije Universiteit Amsterdam, Vrije Universiteit Amsterda |
| Nakladatel: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| ISBN: | 9783540739371 |
| Rok vydání: | 2007 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 154 |
Mohlo by se vám také líbit..
-
Distributed Algorithms
Fokkink, Wan (Professor of theoretical computer science at the Vrije Universiteit Amsterdam, Vrije Universiteit Amsterda
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Pro WPF 4.5 in C#
Matthew MacDonald
-
Learning from Data Streams
-
Pro Android 5
MacLean, Dave
-
Building a Data Warehouse
Rainardi, Vincent
-
Fluid Mechanics
Durst, Franz
-
Migrating to iPhone and iPad for .NE...
Mamone, Mark
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Proofs from THE BOOK
Aigner, Martin
-
DevOps for Developers
Huttermann, Michael
-
Hierarchical Voronoi Graphs
Wallgrun, Jan Oliver
-
Coders at Work
Seibel, Peter
-
The Disappearing Computer