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
-
An Introduction to Homological Algebra
Rotman, Joseph J.
-
Basic Mathematics
Lang, Serge
-
Exploring Science Through Science Fi...
Luokkala, Barry B.
-
The Observer's Sky Atlas
Erich Karkoschka
-
Pediatric Dialysis
-
Handbook of Neurochemistry and Molec...
-
Handbook of Neurochemistry and Molec...
-
To Queue or Not to Queue
Hassin, Refael (Tel Aviv University, Israel)
-
Soils and Foundations for Architects...
-
Genetic Models of Immune and Inflamm...
-
Intraoperative Imaging and Image-Gui...
-
Mitochondria and the Heart
-
Handbook of Neurochemistry and Molec...
-
Tropical and Parasitic Infections in...
-
Microbial Control and Food Preservation