Detailsuche

Grid  List

  1. Software Engineering and Formal Methods
    0 %
    Software Engineering and Formal Methods
    Alessandro Cimatti
    Springer International Publishing
    Ebook
    Sofort lieferbar

    ?This book constitutes the refereed proceedings of the 15th International Conference on Software ...

    Unser bisheriger Preis:ORGPRICE: 57,74 €

    Jetzt 57,73 €Ebook
    Alle Preise inkl. MwSt
  2. Formal Methods for Hardware Verification
    0 %
    Formal Methods for Hardware Verification
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edi...

    Unser bisheriger Preis:ORGPRICE: 57,99 €

    Jetzt 57,98 €Ebook
    Alle Preise inkl. MwSt
  3. Theory and Applications of Satisfiability Testing -- SAT 2012
    0 %
    Theory and Applications of Satisfiability Testing -- SAT 2012
    Alessandro Cimatti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 15th International Conference on Theory and...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  4. Formal Methods for Industrial Critical Systems
    0 %
    Formal Methods for Industrial Critical Systems
    Alessandro Cimatti
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 28th International Conference on Formal Methods for ...

    Unser bisheriger Preis:ORGPRICE: 64,20 €

    Jetzt 64,19 €Ebook
    Alle Preise inkl. MwSt
  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 of the 15th International Conference on Theory and...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  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 of the 15th International Conference on Software E...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  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 28th International Conference on Formal Methods f...

    62,05 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Methods for Hardware Verification
    0 %
    Formal Methods for Hardware Verification
    Marco Bernardo
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th ...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1