Detailsuche

Grid  List

  1. Formal Aspects of Component Software
    0 %
    Formal Aspects of Component Software
    Gwen Salaun
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly revised selected papers from the 17th International Sym...

    Unser bisheriger Preis:ORGPRICE: 51,48 €

    Jetzt 51,47 €Ebook
    Alle Preise inkl. MwSt
  2. Concise Guide to Software Verification
    0 %
    Concise Guide to Software Verification
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at ver...

    Unser bisheriger Preis:ORGPRICE: 89,58 €

    Jetzt 89,57 €Ebook
    Alle Preise inkl. MwSt
  3. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Paula Herber
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference,...

    Unser bisheriger Preis:ORGPRICE: 128,06 €

    Jetzt 128,05 €Ebook
    Alle Preise inkl. MwSt
  4. Model Checking Software
    0 %
    Model Checking Software
    Thomas Neele
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Check...

    Unser bisheriger Preis:ORGPRICE: 57,19 €

    Jetzt 57,18 €Ebook
    Alle Preise inkl. MwSt
  5. Model Checking Software
    Model Checking Software
    Anton Wijs
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChec...

    53,50 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Aspects of Component Software
    0 %
    Formal Aspects of Component Software
    Anton Wijs
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly revised selected papers from the 17th International Symposiu...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 48,14 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Concise Guide to Software Verification
    Concise Guide to Software Verification
    Anton Wijs
    Springer International Publishing
    Buch
    Print on Demand

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at ...

    85,59 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Integrated Formal Methods
    Integrated Formal Methods
    Anton Wijs
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conferen...

    117,69 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Model Checking Software
    Model Checking Software
    Anton Wijs
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Ch...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Concise Guide to Software Verification
    Concise Guide to Software Verification
    Anton Wijs
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at ...

    64,19 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1