Certified Programs and Proofs: Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceeding, (Paperback)
(No ratings yet)
Key item features
- Certified Programs and Proofs: Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceeding, (Paperback)
- Author: Springer
- ISBN: 9783642353079
- Format: Paperback
- Publication Date: 2012-11-01
- Page Count: 305
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2012-11-01
- Pages305
- SubgenreArtificial Intelligence
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Sat, Apr 18
.Order within 6 hr 5 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
Other sellers
$54.99
+ $7.98 shippingShipping, arrives by Thu, Apr 23 to Columbus, 43215
Sold and shipped by Best Prices & Service
Free 30-day returns
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.
- Certified Programs and Proofs: Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceeding, (Paperback)
- Author: Springer
- ISBN: 9783642353079
- Format: Paperback
- Publication Date: 2012-11-01
- Page Count: 305
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
2012-11-01
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Automata, Languages, and Programming: 42nd International Colloquium, Icalp 2015, Kyoto, Japan, July 6-10, 2015, Proceedi, (Paperback) $54.99
$5499current price $54.99Automata, Languages, and Programming: 42nd International Colloquium, Icalp 2015, Kyoto, Japan, July 6-10, 2015, Proceedi, (Paperback)
Communications in Computer and Informati Serviceology for Services: 7th International Conference, Icserv 2020, Osaka, Japan, March 13-15, 2020, Proceedings, Book 1189, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Serviceology for Services: 7th International Conference, Icserv 2020, Osaka, Japan, March 13-15, 2020, Proceedings, Book 1189, (Paperback)
Security Standardisation Research: Second International Conference, Ssr 2015, Tokyo, Japan, December 15-16, 2015, Procee, (Paperback) $60.29
$6029current price $60.29Security Standardisation Research: Second International Conference, Ssr 2015, Tokyo, Japan, December 15-16, 2015, Procee, (Paperback)
Springer Synergetics Cooperative Dynamics in Complex Physical Systems: Proceedings of the Second Yukawa International Symposium, Kyoto, Japan, Book 43, (Paperback) $54.99
$5499current price $54.99Springer Synergetics Cooperative Dynamics in Complex Physical Systems: Proceedings of the Second Yukawa International Symposium, Kyoto, Japan, Book 43, (Paperback)
Programming Languages and Systems: 10th Asian Symposium, Aplas 2012, Kyoto, Japan, December 11-13, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Programming Languages and Systems: 10th Asian Symposium, Aplas 2012, Kyoto, Japan, December 11-13, 2012, Proceedings, (Paperback)
Semantic Technology: Second Joint International Conference, Jist 2012, Nara, Japan, December 2-4, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Semantic Technology: Second Joint International Conference, Jist 2012, Nara, Japan, December 2-4, 2012, Proceedings, (Paperback)
Brain and Health Informatics: International Conference, Bhi 2013, Maebashi, Japan, October 29-31, 2013. Proceedings, (Paperback) $64.29
$6429current price $64.29Brain and Health Informatics: International Conference, Bhi 2013, Maebashi, Japan, October 29-31, 2013. Proceedings, (Paperback)
Algorithmic Learning Theory: 10th International Conference, Alt '99 Tokyo, Japan, December 6-8, 1999 Proceedings, (Paperback) $54.99
$5499current price $54.99Algorithmic Learning Theory: 10th International Conference, Alt '99 Tokyo, Japan, December 6-8, 1999 Proceedings, (Paperback)
Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European J, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European J, (Paperback)
Conceptual Modeling: 35th International Conference, Er 2016, Gifu, Japan, November 14-17, 2016, Proceedings, (Paperback) $54.99
$5499current price $54.99Conceptual Modeling: 35th International Conference, Er 2016, Gifu, Japan, November 14-17, 2016, Proceedings, (Paperback)
Communications in Computer and Informati Knowledge and Systems Sciences: 19th International Symposium, Kss 2018, Tokyo, Japan, November 25-27, 2018, Proceedings, Book 949, (Paperback) $60.29
$6029current price $60.29Communications in Computer and Informati Knowledge and Systems Sciences: 19th International Symposium, Kss 2018, Tokyo, Japan, November 25-27, 2018, Proceedings, Book 949, (Paperback)
Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 17-19, 2003, Proceedings, (Paperback) $56.14
$5614current price $56.14Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 17-19, 2003, Proceedings, (Paperback)
Lecture Notes in Computer Science Unconventional Models of Computation: Third International Conference, Umc 2002, Kobe, Japan, October 15-19, 2002, Procee, Book 2509, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Unconventional Models of Computation: Third International Conference, Umc 2002, Kobe, Japan, October 15-19, 2002, Procee, Book 2509, (Paperback)
Reversible Computation: 6th International Conference, Rc 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, (Paperback) $60.29
$6029current price $60.29Reversible Computation: 6th International Conference, Rc 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, (Paperback)
Lecture Notes of the Institute for Compu Mobile Networks and Management: 10th Eai International Conference, Monami 2020, Chiba, Japan, November 10-12, 2020, Proc, Book 338, (Paperback) $62.60
$6260current price $62.60Lecture Notes of the Institute for Compu Mobile Networks and Management: 10th Eai International Conference, Monami 2020, Chiba, Japan, November 10-12, 2020, Proc, Book 338, (Paperback)
Lecture Notes in Computer Science Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987, Book 315, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987, Book 315, (Paperback)
Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback) $54.99
$5499current price $54.99Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback)
Neural Information Processing: 23rd International Conference, Iconip 2016, Kyoto, Japan, October 16-21, 2016, Proceeding, (Paperback) $54.99
$5499current price $54.99Neural Information Processing: 23rd International Conference, Iconip 2016, Kyoto, Japan, October 16-21, 2016, Proceeding, (Paperback)
Advanced Data Mining and Applications: 9th International Conference, Adma 2013, Hangzhou, China, December 14-16, 2013, P, (Paperback) $56.14
$5614current price $56.14Advanced Data Mining and Applications: 9th International Conference, Adma 2013, Hangzhou, China, December 14-16, 2013, P, (Paperback)
Trusted Systems: 7th International Conference, Intrust 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers, (Paperback) $62.55
$6255current price $62.55Trusted Systems: 7th International Conference, Intrust 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
