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

Adapting Proofs-as-Programs: The Curry--Howard Protocol - Monographs in Computer Science Softcover reprint of hardcover 1st ed. 2005 edition

Iman Poernomo

Price
元 1,381.80

Ordered from remote warehouse

Expected delivery Jun 4 - 16

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 Softcover reprint of hardcover 1st ed. 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, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 19, 2010
ISBN13 9781441920140
Publishers Springer-Verlag New York Inc.
Pages 420
Dimensions 155 × 235 × 22 mm   ·   603 g

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