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

Your search for Jane Hillston

  1. Cover: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Springer
    Jane Hillston | Sadegh Soudjani | Masaki Waga
    Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
    First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
    08/2024
    Springer
    9783031684166 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  2. Cover: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Springer
    Marco Bernardo | Rocco De Nicola | Jane Hillston
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    06/2016
    Springer
    9783319340968 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Springer
    Jane Hillston | Sadegh Soudjani | Masaki Waga
    Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
    First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
    08/2024
    Springer
    9783031684159 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  4. Cover: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Springer
    Marco Bernardo | Rocco De Nicola | Jane Hillston
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    06/2016
    Springer
    9783319340951 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Formal Methods for Performance Evaluation - Springer
    Marco Bernardo | Jane Hillston
    Formal Methods for Performance Evaluation
    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    05/2007
    Springer
    9783540724827 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: A Compositional Approach to Performance Modelling - Cambridge University Press
    Jane Hillston
    A Compositional Approach to Performance Modelling
    06/2005
    Cambridge University Press
    9780521673532 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €55.00
    Shipment within 15-20 days
  7. Cover: A Compositional Approach to Performance Modelling - Cambridge University Press
    Jane Hillston
    A Compositional Approach to Performance Modelling
    06/1996
    Cambridge University Press
    9780521571890 (ISBN)
    Book
    Hardback
    Other editions
    €49.52
    Exhausted; check for reprint
    New edition available