Grid   List

  1. Perspectives of Systems Informatics
    -0 %

    Perspectives of Systems Informatics

    Amir Pnueli
    Springer Berlin
    Ebook
    Sofort lieferbar

    This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Confere...

    Unser bisheriger Preis:ORGPRICE: 95,19 €

    Jetzt 95,18 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Verification of Sequential and Concurrent Programs
    -0 %

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt
    Springer London
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 87,26 €

    Jetzt 87,25 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Temporal Logic of Reactive and Concurrent Systems
    -0 %

    Temporal Logic of Reactive and Concurrent Systems

    Zohar Manna
    Springer New York
    Ebook
    Sofort lieferbar

    Reactive systems are computing systems which are interactive, such as real-time systems, operatin...

    Unser bisheriger Preis:ORGPRICE: 56,04 €

    Jetzt 56,03 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Temporal Verification of Reactive Systems
    -0 %

    Temporal Verification of Reactive Systems

    Zohar Manna
    Springer New York
    Ebook
    Sofort lieferbar

    This book is about the verification of reactive systems. A reactive system is a system that maint...

    Unser bisheriger Preis:ORGPRICE: 111,48 €

    Jetzt 111,47 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Compositionality: The Significant Difference
    -0 %

    Compositionality: The Significant Difference

    Hans Langmaack
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...

    Unser bisheriger Preis:ORGPRICE: 111,16 €

    Jetzt 111,15 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
    -0 %

    Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

    Pnueli Amir Pnueli
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    This workshop brought together top researchers in logic and software engineering in the unique oc...

    Unser bisheriger Preis:ORGPRICE: 30,09 €

    Jetzt 30,08 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Systems

    Amir Pnueli
    Springer New York
    Buch
    Print on Demand

    This book is about the verification of reactive systems. A reactive system is a system that maint...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Concurrent Systems

    Amir Pnueli
    Springer New York
    Taschenbuch
    Print on Demand

    Reactive systems are computing systems which are interactive, such as real-time systems, operatin...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Concurrent Systems

    Amir Pnueli
    Springer New York
    Buch
    Print on Demand

    Reactive systems are computing systems which are interactive, such as real-time systems, operatin...

    117,69 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Amir Pnueli
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Confere...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

    Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

    Pnueli Amir Pnueli
    World Scientific Publishing Company
    Ebook
    Nicht lieferbar

    This workshop brought together top researchers in logic and software engineering in the unique oc...

    275,84 €
    Alle Preise inkl. MwSt
  1. 1