Order Total (1 Item Items):
Shipping Destination:
9780387237596 (18 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (18)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (14)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (18)
- Softcover (No further results match this refinement)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (7)
- Not Print on Demand (18)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Adapting Proofs-as-Programs: The Curry--Howard Protocol Monographs in Computer Science
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 26.63
Convert currency£ 9.45 shipping from Germany to United KingdomQuantity: 1 available
Add to basketgebundene Ausgabe. Condition: Gut. 420 Seiten Das Buch befindet sich in einem ordentlich erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 735.
-
Condition: New. pp. 436 Illus.
-
£ 39.38
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
£ 39.38
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 8 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
£ 40.65
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
£ 35.67
Convert currency£ 6.69 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 436.
-
£ 36.20
Convert currency£ 6.86 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: New. pp. 436.
-
£ 83.60
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
£ 83.60
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Adapting Proofs-As-Programs : The Curry-Howard Protocol
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 134.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 134.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 138.05
Convert currency£ 14.86 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 158.40
Convert currency£ 21.57 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketGebunden. Condition: New. Details several important advances in the direction of practical proofs-as-programs paradigm, which has applications in industrial-scale, complex software engineering problemsThe authors develop two novel applications in large-scale, coarse-grain .
-
£ 137.02
Convert currency£ 55.75 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Hardcover. Condition: Like New. Like New. book.
-
Adapting Proofs-As-Programs : The Curry-Howard Protocol
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 195.99
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Adapting Proofs-As-Programs : The Curry--Howard Protocol
Published by Springer New York Jun 2005, 2005
ISBN 10: 0387237593 ISBN 13: 9780387237596
Language: English
£ 220.47
Convert currency£ 12.08 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. Neuware - This book nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa'roll-your-own'approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting forresearchers working in the target problem domains.
-
£ 223.16
Convert currency£ 14.86 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
