anton wijs

Grid   List

  1. Model Checking Software
    Model Checking Software
    Dragan Bosnacki
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Formal Aspects of Component Software
    Formal Aspects of Component Software
    Gwen Salaün
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Concise Guide to Software Verification
    Concise Guide to Software Verification
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software r...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Integrated Formal Methods
    Integrated Formal Methods
    Paula Herber
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Model Checking Software
    Model Checking Software
    Thomas Neele
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Model Checking Software
    Model Checking Software
    Anton Wijs
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers pre...
    53,50 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Formal Aspects of Component Software
    Formal Aspects of Component Software
    Anton Wijs
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.The 7 full papers and 1 short contribution...
    48,14 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Integrated Formal Methods
    Integrated Formal Methods
    Anton Wijs
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.   The 16 full papers ...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Model Checking Software
    Model Checking Software
    Anton Wijs
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Concise Guide to Software Verification
    Concise Guide to Software Verification
    Anton Wijs
    Springer International Publishing, Springer International Publishing
    Buch
    Print on Demand
    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques wh...
    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Concise Guide to Software Verification
    Concise Guide to Software Verification
    Anton Wijs
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand
    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques wh...
    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>