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

Your search for Jan Peleska

  1. Cover: Formal Methods - Springer
    Klaus Havelund | Jan Peleska | Bill Roscoe
    Formal Methods
    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    07/2018
    Springer
    9783319955827 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Formal Methods - Springer
    Klaus Havelund | Jan Peleska | Bill Roscoe
    Formal Methods
    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    07/2018
    Springer
    9783319955810 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 10-15 days
  3. This image is currently not available.
    Jan Peleska
    Tools for System Development and Verification
    Proceedings. Workshop Bremen, Germany, July 1996
    1998
    Shaker
    9783826538063 (ISBN)
    Other
    Undefined
    €19.50
    Article not available