|
|
Showing 1 - 1 of
1 matches in All Departments
|
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers (Paperback, 1st ed. 2020)
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
|
R1,408
Discovery Miles 14 080
|
Ships in 18 - 22 working days
|
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, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19
pandemic the conference was held virtually. The 13 papers presented
in this volume were carefully reviewed and selected from 21
submissions. The papers describe large-scale verification efforts
that involve collaboration, theory unification, tool integration,
and formalized domain knowledge as well as novel experiments and
case studies evaluating verification techniques and technologies.
The conference was co-located with the 32nd International
Conference on Computer-Aided Verification (CAV 2020).
|
You may like...
Ab Wheel
R209
R149
Discovery Miles 1 490
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.