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..
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Hierarchical Voronoi Graphs
Wallgrun, Jan Oliver
-
Beginning Database Design
Churcher, Clare
-
The Disappearing Computer
-
Multidisciplinary Aspects of Time an...
-
Beginning C# 2008
Gross, Christian
-
Retail Information Systems Based on ...
Becker Norbert, Braunert Jorg
-
Learning from Data Streams
-
Secure Systems Development with UML
Jurjens, Jan
-
Hybrid Learning and Continuing Educa...
-
Fluid Mechanics
Durst, Franz
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick
-
Business Processes for Business Comm...
Schonthaler, Frank; Vossen, Gottfried; Oberweis, Andreas; Karle, Thomas
-
CSS3 Solutions
Casario, Marco; Wormser, Nathalie; Saltzman, Dan; Bradford, Anselm; Reid, Jonathan; Improta, Francesco; Congleton, Aaron
-
Der Lebenssinn Der Industriegesellsc...
Lübbe, Hermann