Tác giả: Parasara Sridhar Duggirala

Ủng hộ

1 Ebooks bởi Parasara Sridhar Duggirala

Maria Christakis & Parasara Sridhar Duggirala: Software Verification
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, …
EPUB
Anh
DRM
€57.78