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

Your search for Marsha Chechik

  1. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Sandrine Blazy | Marsha Chechik
    Verified Software. Theories, Tools, and Experiments
    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    11/2016
    Springer
    9783319488691 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    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: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Marsha Chechik | Jean-François Raskin
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    04/2016
    Springer
    9783662496749 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Marsha Chechik | Jean-François Raskin
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    04/2016
    Springer
    9783662496732 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Fundamental Approaches to Software Engineering - Springer
    Marsha Chechik | Martin Wirsing
    Fundamental Approaches to Software Engineering
    12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    03/2009
    Springer
    9783642005923 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Verified Software. Theories, Tools, and Experiments - Springer
    Sandrine Blazy | Marsha Chechik
    Verified Software. Theories, Tools, and Experiments
    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
    11/2016
    Springer
    9783319488684 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. 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
  8. Cover: CONCUR 2008 - Concurrency Theory - Springer
    Franck van Breugel | Marsha Chechik
    CONCUR 2008 - Concurrency Theory
    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    07/2008
    Springer
    9783540853602 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. This image is currently not available.
    Marsha Chechik | Martin Wirsing
    Fundamental Approaches to Software Engineering
    04/2009
    Springer
    9783642005947 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available