Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: HPB-Red, Dallas, TX, U.S.A.
Book
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!.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: The Maryland Book Bank, Baltimore, MD, U.S.A.
Book
hardcover. Condition: Very Good. 1993rd Edition. Used - Very Good.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Hardcover. Condition: new.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Book
Hardcover. Condition: new. New. Fast Shipping and good customer service.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Front Cover Books, Denver, CO, U.S.A.
Book
Condition: new.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Wizard Books, Long Beach, CA, U.S.A.
Book
Hardcover. Condition: new. New.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer 8/6/1993, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Book
Hardback or Cased Book. Condition: New. A Practical Theory of Programming 1.25. Book.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 260.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GoldBooks, Denver, CO, U.S.A.
Book
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
Published by Springer New York Aug 1993, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
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.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer-Verlag New York Inc., 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Book Print on Demand
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 260 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Book
Condition: New. New. In shrink wrap. Looks like an interesting title! 1.39.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer New York, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
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.
Published by Springer New York, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: moluna, Greven, Germany
Book Print on Demand
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.
Published by Springer, 1993
ISBN 10: 0387941061ISBN 13: 9780387941066
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Hardcover. Condition: Like New. Like New. book.