The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Christel Baier Books

Results for Christel Baier

Showing 1 to 8 of 8 results
Principles of Model Checking (The MIT Press) Principles of Model Checking (The MIT Press) by Christel Baier,Joost-Pieter Katoen

Principles of Model Checking (The MIT Press)

by Christel Baier,Joost-Pieter Katoen


ISBN 13: 9780262026499

Format: Illustrated (975 pages)
Publisher: The MIT Press
Published: 03 Jun 2008

Save for later

 
New : $107.76  
New : $107.76
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science): A Guide to Current Research (Lecture Notes in Computer Science): 2925 Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science): A Guide to Current Research (Lecture Notes in Computer Science): 2925 by Christel Baier

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science): A Guide to Current Research (Lecture Notes in Computer Science): 2925

by Christel Baier


ISBN 13: 9783540222651

Format: Paperback (480 pages)
Publisher: Springer
Published: 08 Nov 2004

Save for later

 
New : $94.53  
New : $94.53
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... 9035 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... 9035 (Lecture Notes in Computer Science) by Christel Baier, Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... 9035 (Lecture Notes in Computer Science)

by Christel Baier, Cesare Tinelli


ISBN 13: 9783662466803

Format: Paperback (744 pages)
Publisher: Springer
Published: 08 Apr 2015

Save for later

 
New : $84.48  
New : $84.48
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science) by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... 10139 (Lecture Notes in Computer Science)

by Bernhard Steffen,Christel Baier,Mark van den Brand,Johann Eder,Mike Hinchey,Tiziana Margaria


ISBN 13: 9783319519623

Format: Paperback (544 pages)
Publisher: Springer
Published: 04 Feb 2017

Save for later

 
New : $84.48  
New : $84.48
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... 10803 (Lecture Notes in Computer Science) Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... 10803 (Lecture Notes in Computer Science) by Christel Baier,Ugo Dal Lago

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... 10803 (Lecture Notes in Computer Science)

by Christel Baier,Ugo Dal Lago


ISBN 13: 9783319893655

Format: Paperback (600 pages)
Publisher: Springer
Published: 14 Apr 2018

Save for later

 
New : $55.23  
New : $55.23
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... June (Lecture Notes in Computer Science) Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... June (Lecture Notes in Computer Science) by Christel Baier,Luís Caires

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... June (Lecture Notes in Computer Science)

by Christel Baier,Luís Caires


ISBN 13: 9783319926117

Format: Paperback (212 pages)
Publisher: Springer
Published: 30 May 2018

Save for later

 
New : $54.83  
New : $54.83
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings by Christel Baier,Ugo Dal Lago

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings

by Christel Baier,Ugo Dal Lago


ISBN 13: 9781013269424

Format: Paperback (586 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

 
New : $60.89  
New : $60.89
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings by Christel Baier,Ugo Dal Lago

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings

by Christel Baier,Ugo Dal Lago


ISBN 13: 9781013269431

Format: Hardcover (586 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

 
New : $84.10  
New : $84.10