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
OUT OF STOCK
See Availability on Amazon7.
Foundations of Software Science and Computation Structures (Lecture Notes in Computer Science)
by Baier, Christel, Dal Lago, Ugo
ISBN: 9783319893655
List Price: $59.99
8.
Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6. 1 Inter...
by Baier, Christel
ISBN: 9783319926117
List Price: $64.99
9.
Foundations of Software Science and Computation Structures: 21st International Conference, F...
by Christel Baier, Ugo Dal Lago
ISBN: 9781013269431
10.
Foundations of Software Science and Computation Structures: 21st International Conference, F...
by Christel Baier, Ugo Dal Lago
ISBN: 9781013269424