2 Електронні книги від Sergiy Bogomolov
Sergiy Bogomolov & Matthieu Martel: Numerical Software Verification
This book constitutes the refereed proceedings of the 9th International Workshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 – colocated with CAV 2016, the …
EPUB
Англійська
DRM
€57.77
Sergiy Bogomolov & David Parker: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 …
EPUB
Англійська
DRM
€64.24
