Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science - Iman Poernomo - Books - Springer-Verlag New York Inc. - 9780387237596 - June 21, 2005
In case cover and title do not match, the title is correct

Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science 2005 edition

Iman Poernomo

Price
¥ 26,518
excl. VAT

Ordered from remote warehouse

Expected delivery May 22 - Jun 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science 2005 edition

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.

420 pages, 54 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 21, 2005
ISBN13 9780387237596
Publishers Springer-Verlag New York Inc.
Pages 420
Dimensions 155 × 235 × 23 mm   ·   784 g
Language English  

See all of Iman Poernomo ( e.g. Hardcover Book and Paperback Book )