Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

by Yves Bertot
  • List Price: $84.99
  • ISBN-10: 3540208542
  • ISBN-13: 9783540208549
  • Edition: 2004th
  • Type: Hardcover
  • Publisher: Springer

About The Book

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers... Read more

FINDING THE BEST PRICES

Related Books

Therapeutic Communication, Second Edition: Knowing What...
  • Year: 2011
  • Edition: Second
  • Publisher: The Guilford Press
  • Type: Hardcover
  • ISBN13: 9781609181710
  • ISBN: 1609181719
Contemporary Psychodynamic Theory and Practice: Toward a...
  • Year: 2008
  • Edition:
  • Publisher: Lyceum Books, Inc.
  • Type: Paperback
  • ISBN13: 9780925065513
  • ISBN: 092506551X