Visit our Christmas Gift Finder
Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science (Hardback)
  • Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science (Hardback)
zoom

Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science (Hardback)

(author), (author), (author)
£132.00
Hardback 420 Pages / Published: 21/06/2005
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

Publisher: Springer-Verlag New York Inc.
ISBN: 9780387237596
Number of pages: 420
Weight: 1730 g
Dimensions: 235 x 155 x 23 mm
Edition: 2005 ed.


MEDIA REVIEWS

From the reviews:

"This monograph serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. It can serve as material for graduate students in computer science or mathematics, the proofs-as-programs research community and the computational logic, formal methods and software engineering communities." (Doina Tatar, Zentralblatt MATH, Vol. 1095 (21), 2006)

You may also be interested in...

Equation That Couldn't be Solved
Added to basket
Proof Theory
Added to basket
£17.99
Paperback
Foundation Mathematics for Biosciences
Added to basket
Introducing Infinity
Added to basket
Alan M. Turing
Added to basket
£9.99
Paperback
Sets, Logic and Categories
Added to basket
The Foundations of Mathematics
Added to basket
Alan Turing's Systems of Logic
Added to basket
Measurements and their Uncertainties
Added to basket

Please sign in to write a review

Your review has been submitted successfully.