Non-Fiction, Computing & Technology, Computing Basics & Reference
Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

, , ,
Paperback Published on: 15/12/2010
£74.50
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783642058806
  • Number of pages: 472
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Set Theory and Logic
Robert R. Stoll
£19.49
Category Theory
Steve Awodey
£65.00
A New Foundation for Representation in Cognitive and Brain Science
Jaime Gómez-Ramirez
£129.99
Elements of Set Theory
Herbert B. Enderton
£56.99
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
Kurt Godel
£9.99
Pre-Algebra DeMYSTiFieD, Second Edition
Allan Bluman
£22.99
Model Theory
H. Jerome Keisler
£30.99
The Foundations of Mathematics
Ian Stewart
£25.49
Journey through Genius
William Dunham
£30.00
Categories for Types
Roy L. Crole
£66.00
Mathematics for the Imagination
Peter Higgins
£16.99
An Introduction to Non-Classical Logic
Graham Priest
£39.00
An Introduction to Mathematical Reasoning
Peter J. Eccles
£36.00
Alan M. Turing
Sara Turing
£15.99
Introduction to Lattices and Order
B. A. Davey
£44.99
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
Alfred S Posamentier
£20.00