marieke huisman

Grid   List

  1. 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
    Ebook
    Sofort lieferbar
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Marieke Huisman
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as P...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Integrated Formal Methods
    Integrated Formal Methods
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this vol...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. 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
    Ebook
    Sofort lieferbar
    This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised fu...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods
    Formal Methods
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.
    106,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Jan Friso Groote
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. 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
  8. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Po...
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Tests and Proofs
    Tests and Proofs
    Marieke Huisman
    Springer International Publishing
    Ebook
    Sofort lieferbar
    ¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Met...
    139,09 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Integrated Formal Methods
    Integrated Formal Methods
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in t...
    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Julia Rubin
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as P...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marieke Huisman
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Co...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>