4 Ebooks tarafından Ylies Falcone
Ylies Falcone & Cesar Sanchez: Runtime Verification
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented to …
PDF
İngilizce
DRM
€58.04
Ezio Bartocci & Ylies Falcone: Lectures on Runtime Verification
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chap …
EPUB
İngilizce
DRM
€70.60
Ezio Bartocci & Ylies Falcone: Formal Methods in Outer Space
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collabo …
EPUB
İngilizce
DRM
€63.99