Books > Computing & IT > Computer communications & networking
|
Buy Now
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R3,152
Discovery Miles 31 520
|
|
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Paperback, 2014 ed.)
Series: Theoretical Computer Science and General Issues, 8559
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R3,172
Discovery Miles: 31 720
|
This book constitutes the proceedings of the 26th International
Conference on Computer Aided Verification, CAV 2014, held as part
of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in
July 2014. The 46 regular papers and 11 short papers presented in
this volume were carefully reviewed and selected from a total of
175 regular and 54 short paper submissions. The contributions are
organized in topical sections named: software verification;
automata; model checking and testing; biology and hybrid systems;
games and synthesis; concurrency; SMT and theorem proving; bounds
and termination; and abstraction.
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.