Modal and Temporal Properties of Processes
9
%
2028 Kč 2 231 Kč
Sleva až 70% u třetiny knih
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
| Autor: | Stirling, Colin |
| Nakladatel: | Springer-Verlag New York Inc. |
| ISBN: | 9781441931535 |
| Rok vydání: | CZE |
| Jazyk : | Čeština |
| Vazba: | CZE |
| Počet stran: | CZE |
Mohlo by se vám také líbit..
-
Medical Informatics
-
Sheaves in Geometry and Logic
MacLane, Saunders; Birkhoff, Garrett
-
Introduction to Topological Manifolds
Johns Lee
-
Mathematics and Its History
Stillwell, John
-
An Introduction to Homological Algebra
Rotman, Joseph J.
-
Handbook of Neurochemistry and Molec...
-
Mitochondria and the Heart
-
Handbook of Marriage and the Family
-
Paradoxes in the Theory of Relativity
Terletskii, Yakov Petrovitch
-
Psychosomatic Medicine and Liaison P...
Lipowski, Z. J. (Clarke Institute of Psychiatry, Toronto, Ontario, Canada)
-
Geometry
Borovik, Alexandre V.; White, Neil; Gelfand, Israel M.
-
An Intermediate Course in Probability
Guthrie, Allan
-
A First Course in Calculus
Lang, Serge
-
The Book of Numbers
Berlekamp, Elwyn R.; Conway, Professor John H.; Guy, Richard K.
-
Conformal Field Theory
Francesco, Philippe Di; Mathieu, Pierre; Senechal, David
-
Complex Analysis
Bak, Joseph; Newman, Donald J.