Order Total (1 Item Items):
Shipping Destination:
Practical Theory Programming by Hehner Eric (29 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (29)
- 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 (26)
- As New, Fine or Near Fine (1)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
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 (10)
- Not Print on Demand (17)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceSeller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
-
Condition: 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.
-
Condition: New. pp. 260.
-
A Practical Theory of Programming (Monographs in Computer Science)
Book 6 of 16: Monographs in Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.06
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
A Practical Theory of Programming (Monographs in Computer Science)
Book 6 of 16: Monographs in Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.06
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
A Practical Theory of Programming (Monographs in Computer Science)
Book 6 of 16: Monographs in Computer ScienceUS$ 66.42
US$ 20.89 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Condition: New. pp. 260 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
-
Condition: New. pp. 260.
-
Condition: New. pp. 260.
-
A Practical Theory of Programming (Monographs in Computer Science)
Book 6 of 16: Monographs in Computer ScienceUS$ 91.74
US$ 13.49 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 243 pages. 9.75x7.00x0.75 inches. In Stock.
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Taschenbuch. Condition: Neu. A Practical Theory of Programming | Eric C. R. Hehner | Taschenbuch | Monographs in Computer Science | x | Englisch | 2012 | Springer | EAN 9781461264446 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - There are several theories of programming. The first usable theory, often called 'Hoare's Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.
-
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - There are several theories of programming. The first usable theory, often called 'Hoare's Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.
-
A Practical Theory of Programming (Monographs in Computer Science)
Book 6 of 16: Monographs in Computer ScienceUS$ 219.52
US$ 33.72 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
Condition: new. Questo è un articolo print on demand.
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer, Humana Sep 2012, 2012
ISBN 10: 1461264448 ISBN 13: 9781461264446
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are several theories of programming. The first usable theory, often called 'Hoare's Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications. 260 pp. Englisch.
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer New York Aug 1993, 1993
ISBN 10: 0387941061 ISBN 13: 9780387941066
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are several theories of programming. The first usable theory, often called 'Hoare's Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications. 260 pp. Englisch.
-
Condition: New. Print on Demand pp. 260 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc., 2012
ISBN 10: 1461264448 ISBN 13: 9781461264446
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 79.85
US$ 21.33 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc., 1993
ISBN 10: 0387941061 ISBN 13: 9780387941066
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 79.85
US$ 23.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Condition: New. PRINT ON DEMAND pp. 260.
-
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. There are several theories of programming. The first usable theory, often called Hoare s Logic , is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will b.
-
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. There are several theories of programming. The first usable theory, often called Hoare s Logic , is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will b.
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer, Springer Aug 1993, 1993
ISBN 10: 0387941061 ISBN 13: 9780387941066
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more comprehensive than the current theories to date. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.
-
A Practical Theory of Programming
Book 6 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer, Springer Sep 2012, 2012
ISBN 10: 1461264448 ISBN 13: 9781461264446
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more comprehensive than the current theories to date. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.
-
Buch. Condition: Neu. A Practical Theory of Programming | Eric C. R. Hehner | Buch | Monographs in Computer Science | x | Englisch | 1993 | Springer | EAN 9780387941066 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
