Showing 1 - 10 of 10 Results
1.
Principles of Model Checking by Baier, Christel, Katoen, Jo... ISBN: 9780262026499 List Price: $65.00
2.
Validation Of Stochastic Systems A Guide To Current Research by Baier, Christel, Haverkort,... ISBN: 9783540222651 List Price: $84.00
3.
CONCUR 2006 - Concurrency Theory 17th International Conference, Concur 2006, Bonn, Germany, ... by Baier, Christel, Hermanns, ... ISBN: 9783540373766 List Price: $89.00
4.
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Confe... by Baier, Christel, Tinelli, C... ISBN: 9783662466803 List Price: $119.00
5.
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Curr... by Steffen, Bernhard, Baier, C... ISBN: 9783319519623 List Price: $79.99
6.
Validation of Stochastic Systems by Baier, Christel, Haverkort,... ISBN: 9783662167427 List Price: $24.99
7.
Foundations of Software Science and Computation Structures (Lecture Notes in Computer Science) by Baier, Christel, Dal Lago, Ugo ISBN: 9783319893655 List Price: $59.99