Grid   List

  1. Handbook of Model Checking

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    Buch
    Sofort lieferbar

    Model checking is a computer-assisted method fo...

    148,56 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  2. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Trusted Systems

    Trusted Systems

    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed c...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Handbook of Model Checking

    Handbook of Model Checking

    Edmund M. Clarke
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Model checking is a computer-assisted method fo...

    139,09 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Computer Aided Verification

    Computer Aided Verification

    Armin Biere
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 26...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Software Verification

    Software Verification

    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    58,84 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Decidability of Parameterized Verification

    Decidability of Parameterized Verification

    Roderick Bloem
    Springer International Publishing
    Ebook
    Sofort lieferbar

    While the classic model checking problem is to ...

    48,14 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Computer Aided Verification

    Computer Aided Verification

    Roderick Bloem
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 26...

    115,69 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  9. Trusted Systems

    Trusted Systems

    Peter Lipp
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed c...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Eli Arbel
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Software Verification

    Software Verification

    Roderick Bloem
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    65,58 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Decidability of Parameterized Verification

    Decidability of Parameterized Verification

    Roderick Bloem
    Springer International Publishing
    Taschenbuch
    Print on Demand

    While the classic model checking problem is to ...

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