Books > Computing & IT > Computer communications & networking > Network security
|
Buy Now
Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Paperback, 2012 ed.)
Loot Price: R1,622
Discovery Miles 16 220
|
|
Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Paperback, 2012 ed.)
Series: Lecture Notes in Computer Science, 7406
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed proceedings of the
Third International Conference on Interactive Theorem Proving, ITP
2012, held in Princeton, NJ, USA, in August 2012. The 21 revised
full papers presented together with 4 rough diamond papers, 3
invited talks, and one invited tutorial were carefully reviewed and
selected from 40 submissions. Among the topics covered are
formalization of mathematics; program abstraction and logics; data
structures and synthesis; security; (non-)termination and automata;
program verification; theorem prover development; reasoning about
program execution; and prover infrastructure and modeling styles.
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.