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..
-
Computational Geometry
Bergin Mark
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Topologie Generale
Bourbaki, N
-
Elementary Number Theory
Jones, Gareth
-
Convex Analysis and Minimization Algo...
Hiriart-Urruty, Jean-Baptiste; Lemarechal, Claude
-
Adaptive Business Intelligence
Michalewicz, Zbigniew; Fogel, David B.
-
Space-Filling Curves
Bader, Michael W.
-
Theory of Metal Forming Plasticity
Sluzalec, Andrzej
-
Introductory Mathematics: Algebra an...
Nowell-Smith, Geoffrey
-
Probability Essentials
Ait-Sahalia, Yacine; Jacod, Jean
-
Stochastic Differential Equations
Oksendal, Bernt
-
Infinite Dimensional Analysis
Aliprantis, Charalambos D. (Purdue University, Indianapolis, U.S.A.); Burkinshaw, Owen (Indiana University-Purdue Univer
-
Perturbation Theory for Linear Opera...
Kato, Tosio
-
Basic Stochastic Processes
Brzezniak, Zdzislaw; Zastawniak, Tomasz
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
