Detailsuche

Grid  List

  1. Tests and Proofs
    0 %
    Tests and Proofs
    Jasmin Christian Blanchette
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Tests and P...

    Unser bisheriger Preis:ORGPRICE: 51,34 €

    Jetzt 51,33 €Ebook
    Alle Preise inkl. MwSt
  2. Testing Software and Systems
    0 %
    Testing Software and Systems
    Pascale Le Gall
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Confere...

    Unser bisheriger Preis:ORGPRICE: 57,60 €

    Jetzt 57,59 €Ebook
    Alle Preise inkl. MwSt
  3. Guide to Software Verification with Frama-C
    0 %
    Guide to Software Verification with Frama-C
    Nikolai Kosmatov
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely use...

    Unser bisheriger Preis:ORGPRICE: 69,87 €

    Jetzt 69,54 €Ebook
    Alle Preise inkl. MwSt
  4. Tests and Proofs
    Tests and Proofs
    Nikolai Kosmatov
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 9th International Conference on Tests and P...

    51,36 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Testing Software and Systems
    Testing Software and Systems
    Christophe Gaston
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference o...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Guide to Software Verification with Frama-C
    Guide to Software Verification with Frama-C
    Nikolai Kosmatov
    Springer International Publishing
    Buch
    Print on Demand

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely ...

    69,54 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Laura Kovács
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume LNCS constitutes the refereed proceedings of the 19th International Conference on ...

    Unser bisheriger Preis:ORGPRICE: 139,09 €

    Jetzt 139,08 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1