Unfoldings
9
%
2570 Kč 2 828 Kč
Sleva až 70% u třetiny knih
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
| Autor: | Esparza, Javier; Heljanko, Keijo |
| Nakladatel: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| ISBN: | 9783540774259 |
| Rok vydání: | 2008 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 172 |
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
-
Modeling Companion for Software Prac...
Boerger, Egon; Raschke, Alexander
-
Project Scheduling with Time Windows ...
Neumann, Klaus
-
Multidisciplinary Aspects of Time an...
-
Beginning Backbone.js
Sugrue, James
-
The NURBS Book
Piegl, Les; Tiller, Wayne
-
Learning from Data Streams
-
Beginning C# 2008
Gross, Christian
-
Pro Android 5
MacLean, Dave
-
Business Processes for Business Comm...
Schonthaler, Frank; Vossen, Gottfried; Oberweis, Andreas; Karle, Thomas
-
Hybrid Learning and Continuing Educa...
-
Retail Information Systems Based on ...
Becker Norbert, Braunert Jorg
-
Migrating to iPhone and iPad for .NE...
Mamone, Mark
-
Beginning Database Design
Churcher, Clare