12 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
12 results

Your search for Martin Leucker

  1. Cover: Formal Methods in Outer Space - Springer
    Ezio Bartocci | Yliès Falcone | Martin Leucker
    Formal Methods in Outer Space
    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    10/2021
    Springer
    9783030873486 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Formal Methods - Springer
    Marsha Chechik | Joost-Pieter Katoen | Martin Leucker
    Formal Methods
    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    03/2023
    Springer
    9783031274817 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Theoretical Aspects of Computing - ICTAC 2015 - Springer
    Martin Leucker | Camilo Rueda | Frank D. Valencia
    Theoretical Aspects of Computing - ICTAC 2015
    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    10/2015
    Springer
    9783319251509 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Runtime Verification - Springer
    Christian Colombo | Martin Leucker
    Runtime Verification
    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    11/2018
    Springer
    9783030037697 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  5. Cover: Formal Methods in Outer Space - Springer
    Ezio Bartocci | Yliès Falcone | Martin Leucker
    Formal Methods in Outer Space
    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    09/2021
    Springer
    9783030873479 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 7-9 days
  6. Cover: Model-Based Testing of Reactive Systems - Springer
    Manfred Broy | Bengt Jonsson | Joost-Pieter Katoen
    Model-Based Testing of Reactive Systems
    Advanced Lectures
    06/2005
    Springer
    9783540262787 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Available immediately
  7. Cover: Runtime Verification - Springer
    Christian Colombo | Martin Leucker
    Runtime Verification
    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    11/2018
    Springer
    9783030037680 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 7-9 days
  8. Cover: Theoretical Aspects of Computing - ICTAC 2009 - Springer
    Martin Leucker | Charles Carroll Morgan
    Theoretical Aspects of Computing - ICTAC 2009
    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    07/2009
    Springer
    9783642034657 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Theoretical Aspects of Computing - ICTAC 2015 - Springer
    Martin Leucker | Camilo Rueda | Frank D. Valencia
    Theoretical Aspects of Computing - ICTAC 2015
    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    12/2015
    Springer
    9783319251493 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Formal Methods - Springer
    Marsha Chechik | Joost-Pieter Katoen | Martin Leucker
    Formal Methods
    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    03/2023
    Springer
    9783031274800 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  11. Cover: Runtime Verification - Springer
    Martin Leucker
    Runtime Verification
    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    10/2008
    Springer
    9783540892465 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Formal Methods: Applications and Technology - Springer
    Lubos Brim | Boudewijn Haverkort | Martin Leucker
    Formal Methods: Applications and Technology
    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
    02/2007
    Springer
    9783540709510 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days