*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Integrated Formal Methods
    Integrated Formal Methods
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedF...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Julia Rubin
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 20th International Conference on Fundamental Approac...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    Gilles Barthe
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains a selection of refereed papers from participants of the workshop ¿Constructi...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitut...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book is Open Access under a CC BY licence.

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Dirk Beyer
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedi...

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods
    Formal Methods
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, ...

    123,01 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    75,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. 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 ver...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    António Ravara
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference o...

    75,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. 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 ver...

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Tests and Proofs
    Tests and Proofs
    Falk Howar
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    ¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, ...

    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1