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
561 kr
Principles of Model Checking
AvChristel Baier,Joost-Pieter Katoen
Inbunden, Engelska, 2008
Del i serien Principles of Model Checking
776 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
SOFSEM 2017: Theory and Practice of Computer Science
Tiziana Margaria, Mike Hinchey, Johann Eder, Mark van den Brand, Christel Baier, Bernhard Steffen
E-bok
2017714 kr
Del 10803
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Häftad, 2018
561 kr
Del 10854
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
Häftad, 2018
561 kr
Formal Techniques for Distributed Objects, Components, and Systems
Luis Caires, Christel Baier
E-bok
2018708 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
544 kr
Validation of Stochastic Systems
Markus Siegle, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort, Christel Baier
E-bok
2004687 kr
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli
Häftad, 2015
561 kr
Hoppa över listan
Du kanske också är intresserad av
Validation of Stochastic Systems
Markus Siegle, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort, Christel Baier
E-bok
2004687 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
544 kr
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
561 kr
Del 10854
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
Häftad, 2018
561 kr
Formal Techniques for Distributed Objects, Components, and Systems
Luis Caires, Christel Baier
E-bok
2018708 kr
SOFSEM 2017: Theory and Practice of Computer Science
Tiziana Margaria, Mike Hinchey, Johann Eder, Mark van den Brand, Christel Baier, Bernhard Steffen
E-bok
2017714 kr
Tools and Algorithms for the Construction and Analysis of Systems
Cesare Tinelli, Christel Baier
E-bok
2015714 kr
Del 10803
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Häftad, 2018
561 kr