Del 10139
SOFSEM 2017: Theory and Practice of Computer Science
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Häftad, 2017
749 kr
Del i serien Principles of Model Checking
Principles of Model Checking
Inbunden, Engelska, 2008
2 639 kr
Tillfälligt slut
Produktinformation
- Utgivningsdatum2008-04-25
- Mått206 x 257 x 40 mm
- Vikt1 830 g
- FormatInbunden
- SpråkEngelska
- SeriePrinciples of Model Checking
- Antal sidor984
- FörlagMIT Press Ltd
- MedarbetareKimGuldstrand Larsen
- ISBN9780262026499
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 10803
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Häftad, 2018
749 kr
Del 10854
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
Häftad, 2018
749 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
729 kr
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli
Häftad, 2015
749 kr
Hoppa över listan
Du kanske också är intresserad av
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
729 kr
Del 10139
SOFSEM 2017: Theory and Practice of Computer Science
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Häftad, 2017
749 kr
Del 10854
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
Häftad, 2018
749 kr
Del 10500
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli
Häftad, 2015
749 kr
Del 11951
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan, Joost-Pieter Katoen, Jun Sun
Häftad, 2019
749 kr
Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Inbunden, 2020
1 119 kr
Del 10803
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Häftad, 2018
749 kr