Hehner Eric C R (31 results)
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 52.05
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 59.51
Free ShippingShips within U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 59.68
£ 2.97 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 260.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 57.67
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 260 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
Language: English
Published by Springer 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2013-10-04 2013
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 59.98
£ 8.62 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 260.
Language: English
Published by Springer 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 66.85
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 260.
Language: English
Published by Springer 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.35
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 243 pages. 9.75x7.00x0.75 inches. In Stock.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
£ 65.90
£ 13.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:0135399661.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: HPB-Red, Dallas, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 81.14
£ 2.79 shippingShips within U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer New York 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 52.27
£ 54.15 shippingShips from Germany to U.S.A.Quantity: 1 available
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 ter…ms 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.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: BennettBooksLtd, Los Angeles, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 102.65
£ 5.17 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Language: English
Published by Springer, Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 52.27
£ 55.01 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 158.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. Like New. book.
- Hardcover
- Print on Demand
Seller: True World of Books, Delhi, IndiaTrue World of Books
Contact seller5-star sellerLeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1979 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt band…s. A perfect gift for your loved ones. Pages: 32 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 32 Volume 102.
- Hardcover
- Print on Demand
Seller: True World of Books, Delhi, IndiaTrue World of Books
Contact seller5-star sellerLeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1976 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt band…s. A perfect gift for your loved ones. Pages: 50 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 50 Volume 75.
- Hardcover
- Print on Demand
Seller: True World of Books, Delhi, IndiaTrue World of Books
Contact seller5-star sellerLeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1975 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt band…s. A perfect gift for your loved ones. Pages: 98 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 98 Volume 57.
- Hardcover
- Print on Demand
Seller: True World of Books, Delhi, IndiaTrue World of Books
Contact seller5-star sellerLeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1974 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt band…s. A perfect gift for your loved ones. Pages: 168 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 168 Volume 44.
Language: English
Published by Springer 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
£ 41.26
£ 4.77 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer, Humana Sep 2012 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.74
£ 19.93 shippingShips from Germany to U.S.A.Quantity: 2 available
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 a…ll 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.
Language: English
Published by Springer New York Aug 1993 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.74
£ 19.93 shippingShips from Germany to U.S.A.Quantity: 2 available
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 tech…nical 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.
Language: English
Published by Springer 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 66.33
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
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.
Language: English
Published by Springer-Verlag New York Inc. 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 57.65
£ 15.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Springer-Verlag New York Inc. 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Hardcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 57.65
£ 17.75 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Springer 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 69.17
£ 8.62 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 260.
Language: English
Published by Springer New York 2012
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.16
£ 42.46 shippingShips from Germany to U.S.A.Quantity: Over 20 available
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 postconditio…n (these and all technical terms will b.
Language: English
Published by Springer New York 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.16
£ 42.46 shippingShips from Germany to U.S.A.Quantity: Over 20 available
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 prec…ondition and postcondition (these and all technical terms will b.
Language: English
Published by Springer, Springer Aug 1993 1993
Series: Monographs in Computer Science, Book 6 of 16. Book 6 of 16 - Monographs in Computer Science
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.74
£ 52.00 shippingShips from Germany to U.S.A.Quantity: 1 available
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 cour…ses 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.
