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

Your search for Jan Friso Groote

  1. Cover: Logic Gates, Circuits, Processors, Compilers and Computers - Springer
    Jan Friso Groote | Rolf Morel | Julien Schmaltz
    Logic Gates, Circuits, Processors, Compilers and Computers
    08/2021
    Springer
    9783030685539 (ISBN)
    E-Book
    PDF
    Other editions
    €39.58
    Available for download
  2. Cover: Formal Methods for Industrial Critical Systems - Springer
    Jan Friso Groote | Marieke Huisman
    Formal Methods for Industrial Critical Systems
    27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
    09/2022
    Springer
    9783031150081 (ISBN)
    E-Book
    PDF
    Other editions
    €74.89
    Available for download
  3. Cover: Tales of Electrologica - Springer
    Gerard Alberts | Jan Friso Groote
    Tales of Electrologica
    Computers, Software and People
    01/2023
    1st EDN1st Edition
    Springer
    9783031130335 (ISBN)
    E-Book
    PDF
    Other editions
    €37.44
    Available for download
  4. Cover: Understanding Behaviour of Distributed Systems Using mCRL2 - Springer
    Muhammad Atif | Jan Friso Groote
    Understanding Behaviour of Distributed Systems Using mCRL2
    02/2023
    1st EDN1st Edition
    Springer
    9783031230080 (ISBN)
    E-Book
    PDF
    Other editions
    €192.59
    Available for download
  5. Cover: Logic Gates, Circuits, Processors, Compilers and Computers - Springer
    Jan Friso Groote | Rolf Morel | Julien Schmaltz
    Logic Gates, Circuits, Processors, Compilers and Computers
    08/2021
    Springer
    9783030685522 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €40.65
    Shipment within 7-9 days
  6. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Jan Friso Groote | Kim Guldstrand Larsen
    Tools and Algorithms for the Construction and Analysis of Systems
    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    03/2021
    Springer
    9783030720124 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  7. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Jan Friso Groote | Kim Guldstrand Larsen
    Tools and Algorithms for the Construction and Analysis of Systems
    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    03/2021
    Springer
    9783030720155 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  8. Cover: Tales of Electrologica - Springer
    Gerard Alberts | Jan Friso Groote
    Tales of Electrologica
    Computers, Software and People
    01/2024
    Springer
    9783031130359 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.44
    Shipment within 15-20 days
  9. Cover: Understanding Behaviour of Distributed Systems Using mCRL2 - Springer
    Muhammad Atif | Jan Friso Groote
    Understanding Behaviour of Distributed Systems Using mCRL2
    02/2024
    Springer
    9783031230103 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €192.59
    Shipment within 15-20 days
  10. Cover: Tales of Electrologica - Springer
    Gerard Alberts | Jan Friso Groote
    Tales of Electrologica
    Computers, Software and People
    01/2023
    Springer
    9783031130328 (ISBN)
    Book
    Hardback
    Other editions
    €37.44
    Shipment within 15-20 days
  11. Cover: Formal Methods for Industrial Critical Systems - Springer
    Jan Friso Groote | Marieke Huisman
    Formal Methods for Industrial Critical Systems
    27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
    08/2022
    Springer
    9783031150074 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €74.89
    Shipment within 15-20 days
  12. Cover: Understanding Behaviour of Distributed Systems Using mCRL2 - Springer
    Muhammad Atif | Jan Friso Groote
    Understanding Behaviour of Distributed Systems Using mCRL2
    02/2023
    Springer
    9783031230073 (ISBN)
    Book
    Hardback
    Other editions
    €192.59
    Shipment within 15-20 days
  13. Cover: Modeling and Analysis of Communicating Systems - MIT Press
    Jan Friso Groote | Mohammad Reza Mousavi
    Modeling and Analysis of Communicating Systems
    08/2014
    MIT Press
    9780262027717 (ISBN)
    Book
    Hardback
    Other editions
    €64.38
    Exhausted; check different version
  14. Cover: Modeling and Analysis of Communicating Systems - MIT Press
    Jan Friso Groote | Mohammad Reza Mousavi
    Modeling and Analysis of Communicating Systems
    05/2023
    MIT Press
    9780262547871 (ISBN)
    Book
    Paperback/Softback
    €50.20
    Article not available