Grid   List

  1. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Alessandro Cimatti
    Springer International Publishing
    Ebook
    Sofort lieferbar

    ¿This book constitutes the refereed proceedings...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Theory and Applications of Satisfiability Testing -- SAT 2012

    Theory and Applications of Satisfiability Testing -- SAT 2012

    Alessandro Cimatti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Formal Methods for Hardware Verification

    Formal Methods for Hardware Verification

    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 8 papers accompanying the le...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Alessandro Cimatti
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 28...

    60,98 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Theory and Applications of Satisfiability Testing -- SAT 2012

    Theory and Applications of Satisfiability Testing -- SAT 2012

    Roberto Sebastiani
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Marjan Sirjani
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    ¿This book constitutes the refereed proceedings...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Laura Titolo
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 28...

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