Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642396335
Price: 8100 KES
Availability: OutOfStock
ISBN: 9783642396335

2013 ed.

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 364239633X

ISBN-13 9783642396335

Edition 2013 ed.

Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Country of Manufacture DE

Country of Publication GB

Publication Date Jul 19th, 2013

Print length 498 Pages

Product Classification: Algorithms & data structures Algorithms and data structures Software Engineering Computer security Network security Mathematical theory of computation Artificial intelligence Artificial intelligence (AI)

KSh 8,100.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Interactive Theorem Proving by Christine Paulin-Mohring at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has 498 pages.