Adapting Proofs-as-Programs
Martin Wirsing John N. Crossley Iman Poernomo
Sold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since 22 November 2018
New - Hardcover
Condition: New
Quantity: 1 available
Add to basketSold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since 22 November 2018
Condition: New
Quantity: 1 available
Add to basketThis 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.
"About this title" may belong to another edition of this title.
We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.
Order quantity | 21 to 36 business days | 5 to 8 business days |
---|---|---|
First item | £ 6.66 | £ 10.74 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.