Grid   List

  1. The Calculus of Computation

    The Calculus of Computation

    Aaron R. Bradley
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Computational logic is a fast-growing field wit...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Time for Verification

    Time for Verification

    Zohar Manna
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume is dedicated to the memory of  the ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Concurrent Systems

    Zohar Manna
    Springer US
    Ebook
    Sofort lieferbar

    Reactive systems are computing systems which ar...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Systems

    Zohar Manna
    Springer US
    Ebook
    Sofort lieferbar

    This book is about the verification of reactive...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. The Calculus of Computation

    The Calculus of Computation

    Zohar Manna
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Computational logic is a fast-growing field wit...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. 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 ar...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    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...

    114,89 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Systems

    Amir Pnueli
    Springer New York
    Taschenbuch
    Print on Demand

    This book is about the verification of reactive...

    125,85 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Concurrent Systems

    Amir Pnueli
    Springer New York, Springer US
    Buch
    Print on Demand

    Reactive systems are computing systems which ar...

    125,85 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Mathematical Theory of Computation

    Mathematical Theory of Computation

    Zohar Manna
    Dover Publications
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    With the objective of making into a science the...

    30,26 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga