3 results
Language (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Jan Oliver Ringert

  1. Cover: Towards an Isabelle Theory for distributed, interactive systems - Shaker
    Sebastian Stüber | Deni Raco | Jens Christoph Bürger
    Towards an Isabelle Theory for distributed, interactive systems
    The untimed case
    03/2020
    1st EDN1st Edition
    Shaker
    9783844072655 (ISBN)
    Book
    Paperback/Softback
    €35.80
    No shipping information available
  2. Cover: MontiArcAutomaton - Shaker
    Jan Oliver Ringert | Bernhard Rumpe | Andreas Wortmann
    MontiArcAutomaton
    Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton
    12/2014
    1st EDN1st Edition
    Shaker
    9783844032994 (ISBN)
    Book
    €24.80
    No shipping information available
  3. Cover: Analysis and Synthesis of Interactive Component and Connector Systems - Shaker
    Jan Oliver Ringert
    Analysis and Synthesis of Interactive Component and Connector Systems
    12/2014
    1st EDN1st Edition
    Shaker
    9783844031201 (ISBN)
    Book
    €44.00
    No shipping information available