SOFSEM 2017: Theory and Practice of Computer Science
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
Häftad
554 kr
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Del 10803
Del 10854
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
Häftad
554 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad
538 kr
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli
Häftad
553 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
538 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
554 kr
Del 10854
Formal Techniques for Distributed Objects, Components, and Systems
Christel Baier, Luís Caires
Häftad
554 kr
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Marsha Chechik, Joost-Pieter Katoen
650 kr
Tools and Algorithms for the Construction and Analysis of Systems
Christel Baier, Cesare Tinelli
Häftad
553 kr
Del 11951
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan, Joost-Pieter Katoen, Jun Sun
Häftad
554 kr
Del 10803