Modelling Distributed Systems
60
%
636 Kč 1 580 Kč
Odesíláme do 5 až 7 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
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Pro Android 5
MacLean, Dave
-
Building a Data Warehouse
Rainardi, Vincent
-
Migrating to iPhone and iPad for .NE...
Mamone, Mark
-
DevOps for Developers
Huttermann, Michael
-
Advanced BlackBerry Development
King, Christiane
-
Pro SQL Server 2008 Administration
Gene Simmons
-
Expert Oracle RAC Performance Diagno...
Vallath, Murali
-
Data Matching
Peter Christen Asbjörnsen
-
Beginning Backbone.js
Sugrue, James
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Pro WPF 4.5 in C#
Matthew MacDonald
-
Hybrid Learning and Continuing Educa...
-
Fluid Mechanics
Durst, Franz
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick