Erweiterte Suche

Grid  List

  1. Tests and Proofs Tests and Proofs

    Tests and Proofs

    Nikolai Kosmatov
    Springer International Publishing, Springer International Publishing
    01.07.2015

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

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Testing Software and Systems Testing Software and Systems

    Testing Software and Systems

    Christophe Gaston
    Springer International Publishing, Springer Nature Switzerland
    18.09.2019

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Guide to Software Verification with Frama-C Guide to Software Verification with Frama-C

    Guide to Software Verification with Frama-C

    Nikolai Kosmatov
    Springer International Publishing, Springer International Publishing
    10.07.2024

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

    Gebunden
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Laura Kovács
    Springer Nature Switzerland, Springer Nature Switzerland
    13.11.2024

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

    Taschenbuch
    139,09 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1