Design Well Structured Correct Programs by Alagic Suad (18 results)
- Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Very good
£ 8.30
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Good
£ 8.30
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: The Book Corner, Beaverton, OR, U.S.A.The Book Corner
Contact seller5-star sellerCondition: Used - Fair
£ 5.01
£ 3.69 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Acceptable. Hardback. No dust jacket. Cover edges and corners in good shape. Spine is tight. Pages are clean, no markings, notes or stains. Ships from Friends bookstore to benefit Beaverton (Oregon) library.
- Hardcover
Seller: George Cross Books, Lexington, MA, U.S.A.George Cross Books
Contact seller5-star sellerAssociation member: IOBA
Condition: Used
£ 9.87
£ 2.95 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Second, Correct Printing edition. Good/No Jacket (35914) . Hardcover, good condition, w.smwht rubbed brds--sme scratches, sme lt soil. V. ltly slanted, smwht compressed sp. Sme lt wear at sp edge, lt reading crease. Bumped top corners, ltly bumped bottom corners. Sme lt wear on brd bottoms. Lt dent on r. brd fr edge.…Smwht tanned p. edges, ltly tanned eps, sme pp. A few lt pencil markings on ffep, o/w cln, tight, unmarked. 292.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1978
- Hardcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 12.30
£ 13.65 shippingShips from Germany to U.S.A.Quantity: 2 available
gebundene Ausgabe. Condition: Gut. 292 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1978
- Hardcover
Seller: Hawking Books, Edgewood, TX, U.S.A.Hawking Books
Contact seller5-star sellerCondition: Used - Good
£ 26.99
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Meets or exceeds the good condition guidelines. Nice copy. Five star seller - Buy with confidence.
Published by Springer-Verlag, New York & Berlin & Heidelberg, 1978
- Hardcover
Seller: Antiquariat D. Gorodin, Freiburg, GermanyAntiquariat D. Gorodin
Contact seller4-star sellerCondition: Used - Very good
£ 8.82
£ 8.56 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Gut. Ex-Library; 292 p. Size: 595 g. Bibliotheksexemplar.
- Hardcover
Seller: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, GermanyDie Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein
Contact seller5-star sellerCondition: Used
£ 13.22
£ 33.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Auflage: First Printing. 292 Seiten Einband bestossen, Schnitt gebräunt, sonst gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 612 15,0 x 12,0 x 2,0 cm, Gebundene Ausgabe.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 51.73
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- 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.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.76
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Hardcover
Seller: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contact seller5-star sellerCondition: New
£ 74.60
£ 4.06 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 10.98
£ 89.87 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 292 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
£ 290.83
£ 34.19 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: gut. 2011. The Design of Well-Structured and Correct Programs In englischer Sprache. pages.
- Hardcover
Seller: Antiquariat Armebooks, Frankfurt am Main, GermanyAntiquariat Armebooks
Contact seller5-star sellerCondition: Used - Very good
£ 51.56
£ 17.12 shippingShips from Germany to U.S.A.Quantity: 1 available
hardcover. Condition: Gut. 302 Seiten; Springer - 1978 : Saud Alagic - gb. Gr. - 9-96-4 BH-YNT6-ASAB Sprache: Deutsch Gewicht in Gramm: 1.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 40.75
£ 4.71 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 41.64
£ 41.93 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. The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their desig…n, synthesizing ten years of research in.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.15
£ 51.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten… years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms. We provide and apply proof rules for a wide range of program structures, including conditionals, loops, procedures and recur sion. We analyze situations in which the restricted use of gotos can be justified, providing a new approach to proof rules for such situations. We study several important techniques of data structuring, including arrays, files, records and linked structures. The secondary goal of this book is to teach the reader how to use the programming language Pascal. This is the first text to teach Pascal pro gramming in a fashion which not only includes advanced algorithms which operate on advanced data structures, but also provides the full axiomatic definition of Pascal due to Wirth and Hoare. Our approach to the language is very different from that of a conventional programming text.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 308 pp. Englisch.
