Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

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,532
Discovery Miles 15 320
Repayment Terms: R144 pm x 12*
Add to cart
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback,...

Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback, 2013 ed.)

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Series: Theoretical Computer Science and General Issues, 7998

 (sign in to rate)
Loot Price R1,532 Discovery Miles 15 320 | Repayment Terms: R144 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Donate to Against Period Poverty

Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback,...
Interactive Theorem Proving - 4th…
R1,532
Against Period Poverty:
Against Period Poverty
R10
Total price: R1,542
Discovery Miles: 15 420
Terms: R145 pm x 12*
Get the bundle!
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

Imprint: Springer-Verlag
Country of origin: Germany
Series: Theoretical Computer Science and General Issues, 7998
Release date: July 2013
First published: 2013
Editors: Sandrine Blazy • Christine Paulin-Mohring • David Pichardie
Dimensions: 235 x 155 x 26mm (L x W x T)
Format: Paperback
Pages: 498
Edition: 2013 ed.
ISBN-13: 978-3-642-39633-5
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer communications & networking > Network security
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 3-642-39633-X
Barcode: 9783642396335

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!

You might also like..

CISA - Certified Information Systems Auditor Study Guide 4e (Paperback, 4th Edition): Cannon
CISA - Certified Information Systems…
Cannon Paperback R1,620 R1,221 Discovery Miles 12 210
ISO27001/ISO27002 - A Pocket Guide (Paperback): Alan Calder
ISO27001/ISO27002 - A Pocket Guide
Alan Calder Paperback R619 Discovery Miles 6 190
Critical Information Infrastructures - Resilience and Protection (Hardcover, 2007 ed.): Maitland Hyslop
Critical Information Infrastructures…
Maitland Hyslop Hardcover R3,991 R2,988 Discovery Miles 29 880
Fraud Prevention, Confidentiality, and Data Security for Modern Businesses (Hardcover): Arshi Naim, Praveen Kumar Malik,...
Fraud Prevention, Confidentiality, and…
Arshi Naim, Praveen Kumar Malik, … Hardcover R6,525 Discovery Miles 65 250
Cybersecurity Issues and Challenges for Business and FinTech Applications (Hardcover): Saqib Saeed, Abdullah M. Almuhaideb,...
Cybersecurity Issues and Challenges for…
Saqib Saeed, Abdullah M. Almuhaideb, … Hardcover R8,190 Discovery Miles 81 900
Handbook of Research on Cyber Security Intelligence and Analytics (Hardcover): Jena Om Prakash, H L Gururaj, M.R. Pooja, S.P....
Handbook of Research on Cyber Security…
Jena Om Prakash, H L Gururaj, … Hardcover R6,949 R6,257 Discovery Miles 62 570
Global Perspectives on Information Security Regulations - Compliance, Controls, and Assurance (Hardcover): Guillermo A. Francia...
Global Perspectives on Information…
Guillermo A. Francia Iii, Jeffrey S. Zanzig Hardcover R6,256 Discovery Miles 62 560
System of Controls - I.T.'s Guide to Managing Cyber Risk (Hardcover): William D Reed
System of Controls - I.T.'s Guide to…
William D Reed Hardcover R1,029 R854 Discovery Miles 8 540
Cybersecurity Capabilities in Developing Nations and Its Impact on Global Security (Hardcover): Maurice Dawson, Oteng Tabona,...
Cybersecurity Capabilities in Developing…
Maurice Dawson, Oteng Tabona, … Hardcover R6,256 Discovery Miles 62 560
Research Anthology on Business Aspects of Cybersecurity (Hardcover): Information Resources Management Association
Research Anthology on Business Aspects…
Information Resources Management Association Hardcover R12,087 Discovery Miles 120 870
#Myprivacy #Myright - Protect It While You Can (Hardcover): Robin M Singh
#Myprivacy #Myright - Protect It While…
Robin M Singh Hardcover R500 Discovery Miles 5 000
Handbook of Research on Cyber Approaches to Public Administration and Social Policy (Hardcover): Fahri OEzsungur
Handbook of Research on Cyber Approaches…
Fahri OEzsungur Hardcover R8,284 Discovery Miles 82 840

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners