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

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

Price
€ 165.49

Ordered from remote warehouse

Expected delivery Jan 12 - 21, 2026
Christmas presents can be returned until 31 January

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:

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 )