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

Your search for Grigore Rosu

  1. Cover: Model Checking Software - Springer
    Owolabi Legunsen | Grigore Rosu
    Model Checking Software
    28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
    08/2022
    Springer
    9783031150777 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Runtime Verification - Springer
    Howard Barringer | Ylies Falcone | Bernd Finkbeiner
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    11/2010
    Springer
    9783642166129 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Techniques for Distributed Systems - Springer
    Holger Giese | Grigore Rosu
    Formal Techniques for Distributed Systems
    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    06/2012
    Springer
    9783642307935 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Runtime Verification - Springer
    Howard Barringer | Ylies Falcone | Bernd Finkbeiner
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    10/2010
    Springer
    9783642166112 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Dana Fisman | Grigore Rosu
    Tools and Algorithms for the Construction and Analysis of Systems
    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
    03/2022
    Springer
    9783030995232 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  6. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Dana Fisman | Grigore Rosu
    Tools and Algorithms for the Construction and Analysis of Systems
    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
    03/2022
    Springer
    9783030995263 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  7. Cover: Formal Techniques for Distributed Systems - Springer
    Holger Giese | Grigore Rosu
    Formal Techniques for Distributed Systems
    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    05/2012
    Springer
    9783642307928 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Model Checking Software - Springer
    Owolabi Legunsen | Grigore Rosu
    Model Checking Software
    28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
    08/2022
    Springer
    9783031150760 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  9. Cover: Formal Approaches to Software Testing and Runtime Verification - Springer
    Klaus Havelund | Manuel Núnez | Grigore Rosu
    Formal Approaches to Software Testing and Runtime Verification
    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    12/2006
    Springer
    9783540496991 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Algebraic Methodology and Software Technology - Springer
    José Meseguer | Grigore Rosu
    Algebraic Methodology and Software Technology
    12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    07/2008
    Springer
    9783540799795 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Institution Morphisms - Bibliogov
    Joseph Goguen | Grigore Rosu
    Institution Morphisms
    08/2013
    Bibliogov
    9781287275893 (ISBN)
    Book
    Paperback/Softback
    €36.08
    Article not available for order