*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Jan Friso Groote
    Springer International Publishing
    Buch
    Print on Demand

    This book helps readers easily learn basic model checking by presenting examples, exercises and c...

    184,02 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tales of Electrologica
    Tales of Electrologica
    Jan Friso Groote
    Springer International Publishing
    Buch
    Print on Demand

    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

    38,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 27th International Conference on Formal Methods for ...

    75,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Tales of Electrologica
    Tales of Electrologica
    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Jan Friso Groote
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book helps readers easily learn basic model checking by presenting examples, exercises and c...

    181,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1