|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Paperback, 1st ed. 2019)
Loot Price: R1,811
Discovery Miles 18 110
|
|
|
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Paperback, 1st ed. 2019)
Series: Theoretical Computer Science and General Issues, 11561
Expected to ship within 10 - 15 working days
|
This open access two-volume set LNCS 11561 and 11562 constitutes
the refereed proceedings of the 31st International Conference on
Computer Aided Verification, CAV 2019, held in New York City, USA,
in July 2019. The 52 full papers presented together with 13 tool
papers and 2 case studies, were carefully reviewed and selected
from 258 submissions. The papers were organized in the following
topical sections: Part I: automata and timed systems; security and
hyperproperties; synthesis; model checking; cyber-physical systems
and machine learning; probabilistic systems, runtime techniques;
dynamical, hybrid, and reactive systems; Part II: logics, decision
procedures; and solvers; numerical programs; verification;
distributed systems and networks; verification and invariants; and
concurrency.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
