12 Ebooks por Marieke Huisman
Erika Abraham & Marieke Huisman: Integrated Formal Methods
This bookconstitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this volu …
PDF
Inglês
DRM
€90.29
Dirk Beyer & Marieke Huisman: Tools and Algorithms for the Construction and Analysis of Systems
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 Construction …
EPUB
Inglês
DRM
€3.85
Dirk Beyer & Marieke Huisman: Tools and Algorithms for the Construction and Analysis of Systems
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 Construction a …
EPUB
Inglês
DRM
€3.84
Marieke Huisman & Julia Rubin: Fundamental Approaches to Software Engineering
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 Par …
EPUB
Inglês
DRM
€57.35
Marieke Huisman & Corina Pasareanu: Formal Methods
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations wer …
EPUB
Inglês
DRM
€127.76
Dirk Beyer & Marieke Huisman: Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of …
EPUB
Inglês
DRM
€3.84
Jan Friso Groote & Marieke Huisman: Formal Methods for Industrial Critical Systems
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. The 13 …
EPUB
Inglês
DRM
€77.17
Marieke Huisman & Antonio Ravara: Formal Techniques for Distributed Objects, Components, and Systems
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, Port …
EPUB
Inglês
DRM
€76.87
Marieke Huisman & Anton Wijs: Concise Guide to Software Verification
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 whereby …
EPUB
Inglês
DRM
€89.58
Falk Howar & Marieke Huisman: Tests and Proofs
?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 Metho …
EPUB
Inglês
DRM
€139.83
