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

Your search for Michael Leuschel

  1. Cover: Rigorous State-Based Methods - Springer
    Michael Leuschel | Fuyuki Ishikawa
    Rigorous State-Based Methods
    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    08/2025
    Springer
    9783031945335 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  2. Cover: Rigorous State-Based Methods - Springer
    Silvia Bonfanti | Angelo Gargantini | Michael Leuschel
    Rigorous State-Based Methods
    10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
    06/2024
    Springer
    9783031637902 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  3. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Stefan Hallerstede
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    11/2010
    Springer
    9783642170713 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308857 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Stefan Hallerstede
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    01/2011
    1st EDN1st Edition
    Springer
    9783642170706 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  6. Cover: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308840 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Available immediately
  7. Cover: Integrated Formal Methods - Springer
    Michael Leuschel | Heike Wehrheim
    Integrated Formal Methods
    7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
    02/2009
    Springer
    9783642002540 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Rigorous State-Based Methods - Springer
    Michael Leuschel | Fuyuki Ishikawa
    Rigorous State-Based Methods
    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    09/2025
    Springer
    9783031945328 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 15-20 days
  9. Cover: Rigorous State-Based Methods - Springer
    Silvia Bonfanti | Angelo Gargantini | Michael Leuschel
    Rigorous State-Based Methods
    10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
    06/2024
    Springer
    9783031637896 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days