Leucker, Martin books & textbook
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Programming and Software Engineering)
Colombo, Christian Leucker, Martin
Springer /2018-11-08 Paperback / 481 Pages
isbn-10: 3030037681 / isbn-13: 9783030037680
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de
Springer /2007-02-20 Paperback / 376 Pages
isbn-10: 3540709517 / isbn-13: 9783540709510
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in Computer Science, 5684)
Leucker, Martin Morgan, Charles Carroll
Springer /2009-07-29 Paperback / 369 Pages
isbn-10: 3642034659 / isbn-13: 9783642034657
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Programming and Software Engineering)
Bartocci, Ezio Falcone, Yliès Leucker, Martin
Springer /2021-09-28 Paperback / 208 Pages
isbn-10: 3030873471 / isbn-13: 9783030873479
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)
Broy, Manfred Jonsson, Bengt Katoen, Joost-Pieter Leucker, Martin Pretschner, Alexander
Springer /2005-06-27 Paperback / 672 Pages
isbn-10: 3540262784 / isbn-13: 9783540262787
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)
Leucker, Martin Rueda, Camilo Valencia, Frank D.
Springer /2015-12-25 Paperback / 644 Pages
isbn-10: 331925149X / isbn-13: 9783319251493
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science, 5289)
Springer /2008-10-23 Paperback / 196 Pages
isbn-10: 354089246X / isbn-13: 9783540892465
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science)
Chechik, Marsha Katoen, Joost-Pieter Leucker, Martin
Springer /2023-03-03 Paperback / 676 Pages
isbn-10: 3031274806 / isbn-13: 9783031274800
