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

Your search for Dejan Nickovic

  1. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Marcin Jurdzinski | Dejan Nickovic
    Formal Modeling and Analysis of Timed Systems
    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    08/2012
    Springer
    9783642333651 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  2. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Marcin Jurdzinski | Dejan Nickovic
    Formal Modeling and Analysis of Timed Systems
    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    08/2012
    Springer
    9783642333644 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  3. Cover: Contracts for System Design - now publishers Inc
    Albert Benveniste | Benoit Caillaud | Dejan Nickovic
    Contracts for System Design
    03/2018
    now publishers Inc
    9781680834024 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Not available