Books > Computing & IT > Computer communications & networking > Network security
|
Buy Now
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback, 2013 ed.)
Loot Price: R1,625
Discovery Miles 16 250
|
|
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback, 2013 ed.)
Series: Theoretical Computer Science and General Issues, 7998
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R1,645
Discovery Miles: 16 450
|
This book constitutes the refereed proceedings of the 4th
International Conference on Interactive Theorem Proving, ITP 2013,
held in Rennes, France, in July 2013. The 26 regular full papers
presented together with 7 rough diamond papers, 3 invited talks,
and 2 invited tutorials were carefully reviewed and selected from
66 submissions. The papers are organized in topical sections such
as program verfication, security, formalization of mathematics and
theorem prover development.
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.