Modelling Distributed Systems
36
%
1006 Kč 1 573 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..
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Pro WPF 4.5 in C#
Matthew MacDonald
-
Pro SQL Server 2008 Administration
Gene Simmons
-
Beginning 3D Game Development with U...
Blackman, Sue
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Expert Oracle RAC Performance Diagno...
Vallath, Murali
-
Secure Systems Development with UML
Jurjens, Jan
-
Iterating Infusion
Anthony, Greg
-
Hierarchical Voronoi Graphs
Wallgrun, Jan Oliver
-
Data Matching
Peter Christen Asbjörnsen
-
Formal SQL Tuning for Oracle Databases
Nossov, Leonid
-
The Disappearing Computer
-
Beginning Backbone.js
Sugrue, James
-
Modeling Companion for Software Prac...
Boerger, Egon; Raschke, Alexander
-
Multidisciplinary Aspects of Time an...