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.
Read More
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.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition:
2010, Springer
Trade paperback,
New
Available Copies: 10+
Details:
ISBN:
1441920145
ISBN-13:
9781441920140
Pages:
420
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
12184435167
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 420 p. Contains: Illustrations, black & white. Monographs in Computer Science.
Hide Details ▴
Edition:
2010, Springer
Trade paperback,
New
Available Copies: 5
Details:
ISBN:
1441920145
ISBN-13:
9781441920140
Pages:
420
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
17980735831
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 420 p. Contains: Illustrations, black & white. Monographs in Computer Science.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
18000072473
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Brand New Fast Delivery. Delivery With In 9-12 Days Only.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
16631438333
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. P 436.
Hide Details ▴
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17971196232
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17971442364
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New, US edition. Satisfaction guaranteed! !
Hide Details ▴
Edition:
2005, Springer
Hardcover,
Good
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17905307673
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17945103672
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Brand New. New Book Original US edition, We Ship to PO BOX Address also.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17783145210
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New, US edition. Satisfaction guaranteed! !
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
0387237593
ISBN-13:
9780387237596
Pages:
420
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17330897889
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
BRAND NEW-SHIPPING FAST-SATISFACTION GUARANTEED.
Hide Details ▴
2010,
Springer, New York, NY
ISBN-13: 9781441920140
Trade paperback
2005,
Springer, New York, NY
ISBN-13: 9780387237596
2005 edition
Hardcover
All Editions of Adapting Proofs-As-Programs: The Curry--Howard Protocol