Erweiterte Suche

Grid  List

  1. Correct System Design Correct System Design

    Correct System Design

    Bernhard Steffen
    Springer Berlin Heidelberg
    22.09.1999

    Computers are gaining more and more control over systems that we use or rely on in our daily live...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt
    Springer London
    14.03.2012

    HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Provably Correct Systems Provably Correct Systems

    Provably Correct Systems

    Mike Hinchey
    Springer International Publishing
    03.05.2018

    As computers increasingly control the systems and services we depend upon within our daily lives ...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Techniques in Real-Time and Fault-Tolerant Systems Formal Techniques in Real-Time and Fault-Tolerant Systems

    Formal Techniques in Real-Time and Fault-Tolerant Systems

    Ernst-Rüdiger Olderog
    Springer Berlin Heidelberg
    28.08.2002

    This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Real-Time Systems Real-Time Systems

    Real-Time Systems

    Ernst-Rüdiger Olderog
    Cambridge University Press
    11.09.2008

    Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata)...

    Gebunden
    97,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Provably Correct Systems Provably Correct Systems

    Provably Correct Systems

    Mike Hinchey
    Springer International Publishing, Springer Nature Switzerland
    10.03.2017

    As computers increasingly control the systems and services we depend upon within our daily lives ...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt
    Springer London, Springer London
    05.10.2009

    HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Programmverifikation Programmverifikation

    Programmverifikation

    Ernst-Rüdiger Olderog
    Springer Berlin Heidelberg
    21.03.1994

    Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. ...

    Taschenbuch
    29,95 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Model Checking, Synthesis, and Learning Model Checking, Synthesis, and Learning

    Model Checking, Synthesis, and Learning

    Ernst-Rüdiger Olderog
    Springer International Publishing, Springer International Publishing
    22.11.2021

    This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains paper...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1