4 Ebooks by Anton Wijs
Gwen Salaun & Anton Wijs: Formal Aspects of Component Software
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 were …
EPUB
Inggeris
DRM
€51.48
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
Inggeris
DRM
€89.58
Paula Herber & Anton Wijs: Integrated Formal Methods
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 presented together wi …
EPUB
Inggeris
DRM
€128.13
Thomas Neele & Anton Wijs: Model Checking Software
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 9 full pape …
EPUB
Inggeris
DRM
€57.99
