| | Books 1 - 9 of 9 | Previous | Next | 
|  | | Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, ... Lectures (Lecture Notes in Computer Science) (1st Edition)
by Ed Brinksma (Editor), Holger Hermanns (Editor), Joost-Pieter Katoen (Editor)
Paperback, 431 Pages, Published 2001 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) (1st Edition)
by Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
Paperback, 659 Pages, Published 2005 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science) (1st Edition)
by Christel Baier (Editor), Boudewijn R. Haverkort (Editor), Holger Hermanns (Editor), Joost-Pieter Katoen (Editor), Markus Siegle (Editor)
Paperback, 467 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Tools and Algorithms for the Construction and Analysis of Systems (1st Edition)
by Joost-Pieter Katoen (Editor), Perdita Stevens (Editor)
Paperback, 482 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Principles of Model Checking
by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen (Foreword)
Hardcover, 975 Pages, Published 2008 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Katoen + Pinbal Tussende Wielen
by Joost Swarte
Hardcover, Published 1997 by Oog & Blik De Harmonie
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Principles of Model Checking
by Christel/ Katoen, Joost-Pieter/ Larsen, Kim G. (FRW) Baier
Hardcover, Published 2008 by Mit Pr
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 9 of 9 | Previous | Next |
|