Christian Schilling betreibt einen erfolgreichen Blog und hat in dieser Reihe bereits das Buch “Kindle” veröffentlicht.
2 Ebooks by Christian Schilling
Georgiana Caltais & Christian Schilling: Model Checking Software
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 shor …
EPUB
English
DRM
€64.20
Guy Avni & Mirco Giacobbe: AI Verification
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categori …
EPUB
English
DRM
€140.85
