logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Joost-Pieter Katoen's Books back

language per page order
CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings - Joost-Pieter Katoen, Barbara Konig
CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
by Barbara Konig (author), Joost-Pieter Katoen (author)
publisher: Springer publish date: August 26th 2011
format: paperback pages: 560
language: English
ISBN: 3642232167 (9783642232169)
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science) - Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)
by Holger Hermanns (author), Christel Baier (author), Joost-Pieter Katoen (author), Boudewijn R. Haverkort (author), Markus Siegle (author)
publisher: Springer publish date: October 5th 2004
format: kindle pages: 475
language: English
ASIN: B000V1OGF8
Principles of Model Checking - Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
by Christel Baier (author), Joost-Pieter Katoen (author)
publisher: The MIT Press publish date: April 25th 2008
format: hardcover pages: 984
language: English
ISBN: 026202649X (9780262026499)
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science) - Joost-Pieter Katoen, Perdita Stevens
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
by Perdita Stevens (author), Joost-Pieter Katoen (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 486
language: English
ASIN: B000V4RTFO
Need help?