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

Your search for Luigia Petre

  1. Cover: Formal Methods Teaching - Springer
    Brijesh Dongol | Luigia Petre | Graeme Smith
    Formal Methods Teaching
    Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
    09/2019
    Springer
    9783030324414 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: From Action Systems to Distributed Systems - Chapman & Hall/CRC
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    04/2016
    Chapman & Hall/CRC
    9781498701594 (ISBN)
    E-Book
    PDF
    Other editions
    €62.99
    Available for download
  3. Cover: Integrated Formal Methods - Springer
    Einar Broch Johnsen | Luigia Petre
    Integrated Formal Methods
    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    05/2013
    Springer
    9783642386138 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Integrated Formal Methods - Springer
    Michael Butler | Luigia Petre | Kaisa Sere
    Integrated Formal Methods
    Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
    08/2003
    Springer
    9783540478843 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: From Action Systems to Distributed Systems - Chapman and Hall
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    04/2016
    1st EDN1st Edition
    Chapman and Hall
    9781040189351 (ISBN)
    E-Book
    ePUB
    Other editions
    €63.49
    Available for download
  6. Cover: Formal Methods Teaching - Springer
    Brijesh Dongol | Luigia Petre | Graeme Smith
    Formal Methods Teaching
    Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
    10/2019
    Springer
    9783030324407 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Integrated Formal Methods - Springer
    Einar Broch Johnsen | Luigia Petre
    Integrated Formal Methods
    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    05/2013
    Springer
    9783642386121 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: From Action Systems to Distributed Systems - Chapman & Hall/CRC
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    04/2016
    1st EDN1st Edition
    Chapman & Hall/CRC
    9781498701587 (ISBN)
    Book
    Hardback
    Other editions
    €259.98
    Shipment within 15-20 days
  9. Cover: From Action Systems to Distributed Systems - Chapman & Hall/CRC
    Luigia Petre | Emil Sekerinski
    From Action Systems to Distributed Systems
    The Refinement Approach
    06/2020
    1st EDN1st Edition
    Chapman & Hall/CRC
    9780367574857 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €67.60
    Shipment within 15-20 days
  10. Cover: Integrated Formal Methods - Springer
    Michael Butler | Luigia Petre | Kaisa Sere
    Integrated Formal Methods
    Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
    05/2002
    Springer
    9783540437031 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. This image is currently not available.
    Luigia Petre | Kaisa Sere | Elena Troubitsyna
    Dependability and Computer Engineering: Concepts for Software-Intensive Systems
    07/2011
    Engineering Science Reference
    9781609607494 (ISBN)
    Book
    Mixed media product
    €259.42
    Shipment within 3-4 weeks
  12. Cover: Dependability and Computer Engineering - Information Science Reference
    Luigia Petre | Kaisa Sere | Elena Troubitsyna
    Dependability and Computer Engineering
    Concepts for Software-Intensive Systems
    07/2011
    Information Science Reference
    9781609607470 (ISBN)
    Book
    Hardback
    Other editions
    €198.20
    Shipment within 3-4 weeks
  13. This image is currently not available.
    Michael Butler | Luigia Petre | Kaisa Sere
    Integrated Formal Methods
    08/2008
    Springer
    9783540829812 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available