14 results
Type of media (2)
Availability (3)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Stephan Merz

  1. Cover: Interactive Theorem Proving - Springer
    Jasmin Christian Blanchette | Stephan Merz
    Interactive Theorem Proving
    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
    08/2016
    Springer
    9783319431444 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Formal Methods and Software Engineering - Springer
    Stephan Merz | Jun Pang
    Formal Methods and Software Engineering
    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    10/2014
    Springer
    9783319117379 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Modeling and Verification of Real-time Systems - Wiley-ISTE
    Nicolas Navet | Stephan Merz
    Modeling and Verification of Real-time Systems
    Formalisms and Software Tools
    03/2013
    Wiley-ISTE
    9781118623954 (ISBN)
    E-Book
    ePUB
    Other editions
    €215.99
    Available for download
  4. Cover: Integrated Formal Methods - Springer
    Dominique Méry | Stephan Merz
    Integrated Formal Methods
    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    10/2010
    Springer
    9783642162657 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Modeling and Verification of Real-time Systems - Wiley-ISTE
    Nicolas Navet | Stephan Merz
    Modeling and Verification of Real-time Systems
    Formalisms and Software Tools
    01/2010
    Wiley-ISTE
    9780470393598 (ISBN)
    E-Book
    PDF
    Other editions
    €215.99
    Available for download
  6. Cover: Integrated Formal Methods - Springer
    Dominique Méry | Stephan Merz
    Integrated Formal Methods
    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    10/2010
    Springer
    9783642162640 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Temporal Logic and State Systems - Springer
    Fred Kröger | Stephan Merz
    Temporal Logic and State Systems
    11/2010
    Springer
    9783642086809 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 7-9 days
  8. Cover: Interactive Theorem Proving - Springer
    Jasmin Christian Blanchette | Stephan Merz
    Interactive Theorem Proving
    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
    08/2016
    Springer
    9783319431437 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Formal Methods and Software Engineering - Springer
    Stephan Merz | Jun Pang
    Formal Methods and Software Engineering
    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    09/2014
    Springer
    9783319117362 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Modeling and Verification of Real-time Systems - Wiley-ISTE
    Nicolas Navet | Stephan Merz
    Modeling and Verification of Real-time Systems
    Formalisms and Software Tools
    03/2008
    1st EDN1st Edition
    Wiley-ISTE
    9781848210134 (ISBN)
    Book
    Hardback
    Other editions
    €253.50
    Article not available at the moment
  11. Cover: Temporal Logic and State Systems - Springer
    Fred Kröger | Stephan Merz
    Temporal Logic and State Systems
    03/2008
    Springer
    9783540674016 (ISBN)
    Book
    Hardback
    Other editions
    €80.24
    Shipment within 10-15 days
  12. This image is currently not available.
    Andre Migeon | Stephan Merz
    Practical Applications of Sensors
    Wiley-ISTE
    9781848210141 (ISBN)
    Book
    Hardback
    €187.19
    The article will not be published
  13. Cover: Formal Systems Specification - Springer
    Manfred Broy | Stephan Merz | Katharina Spies
    Formal Systems Specification
    The RPC-Memory Specification Case Study
    11/1996
    Springer
    9783540619840 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. This image is currently not available.
    Stephan Merz | Nicolas Navet
    Modeling and Verification of Real-time Systems
    Formalisms and Software Tools
    ISTE Ltd
    9781847040244 (ISBN)
    Book
    Hardback
    €155.99
    The article will not be published