11 Ebooks by 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 …
PDF
English
DRM
€86.95
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
English
DRM
€3.72
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
English
DRM
€3.72
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 …
EPUB
English
DRM
€56.51
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 …
EPUB
English
DRM
€123.80
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
English
DRM
€3.76
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
English
DRM
€75.55
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, …
EPUB
English
DRM
€74.86
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
English
DRM
€87.92
