search for books and compare prices
Christel Baier has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780262026499 Cover for 9783540373766 Cover for 9783540222651
Principles of Model Checking
cover image for 9780262026499
By Christel Baier, Joost-Pieter Katoen and Kim G. Larsen (foreword by)
See complete details on each edition (1 edition listed)

Hardcover:

9780262026499 | Mit Pr, May 31, 2008, cover price $75.00

CONCUR 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006 : Proceedings
cover image for 9783540373766
By Christel Baier (editor) and Holger Hermanns (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540373766 | Springer-Verlag New York Inc, September 15, 2006, cover price $139.00

Validation Of Stochastic Systems: A Guide To Current Research
cover image for 9783540222651
By Christel Baier (editor), Boudewijn R. Haverkort (editor), Holger Hermanns (editor), Joost-Pieter Katoen (editor) and Markus Siegle (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540222651 | Springer-Verlag New York Inc, October 16, 2004, cover price $119.00

displaying 1 to 3 | at end