E W Dijkstra (51 results)
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Gries, D.; Turski, W. M. (eds.)
Published by Springer, Heidelberg, 2000
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 4.46
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Very Good. Paperback journal with very few superficial marks and scores on covers, and lightly worn edges, leading corners and spine ends. Pages are clean and sound throughout; all content is clear. TS. Used.
- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
Original price: £ 31.2010% offCurrent price: £ 28.08
£ 5.25 shippingShips from France to U.S.A.Quantity: 1 available
No jacket. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Sans jaquette. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. …
- Hardcover
Seller: Orion Tech, Kingwood, TX, U.S.A.Orion Tech
Contact seller5-star sellerCondition: Used - As new
£ 34.87
Free ShippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: As New.
Groningen in oorlogstijd: Aspecten van de bezettingsjaren 1940 - 1945
Boiten, E.A.J. & J.F.J. van den Broek & S. Broekema & M.G. Buist & J. Dijkstra & P. Kooi & W. Nijenhuis
- Hardcover
Seller: Barksdale Books, Almere, NetherlandsBarksdale Books
Contact seller5-star sellerCondition: Used - Good
£ 8.60
£ 16.69 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Good. Originele zwarte hardcover, gedecoreerde schutbladen, illustraties in z/w (waaronder foto's), 4to.
Published by Edecea, Hoorn, 1974
Seller: Antiquariaat Parnassos vof, Wassenaar, NetherlandsAntiquariaat Parnassos vof
Contact seller5-star sellerCondition: Used
£ 4.30
£ 18.78 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Gebonden. Condition: Lichte gebruikssporen. Dust Jacket Condition: Stofomslag met l.gebruiksspore. 95 pp. Poëzie en verhaaltjes. Teksten in groen gedrukt. Zwarte veegjee in de marge van pagina 8.
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Good
£ 44.26
£ 5.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
£ 35.64
£ 13.22 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,550grams, ISBN:013215871X. …
Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.37
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Published by Academic Press, 1973
- Hardcover
Seller: Recycle Bookstore, San Jose, CA, U.S.A.Recycle Bookstore
Contact seller4-star sellerCondition: Used - Near fine
£ 30.69
£ 4.29 shippingShips within U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Near Fine. Stated sixth printing, 1973. This book has very mild rubbing and surface scratching to both covers and a faint grey ink stamp on the front end page, otherwise this book is in excellent, like new condition with crisp, unmarked pages, a tight binding, and a strong, clean cover. …
- Hardcover
Seller: Hawking Books, Edgewood, TX, U.S.A.Hawking Books
Contact seller5-star sellerCondition: Used - Very good
£ 55.13
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Very Good Condition. Has some wear. Five star seller - Buy with confidence.
Program Construction : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Gerhart, S. L.; Gries, D.; Griffiths, M.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 61.98
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 64.02
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1979 ed.
Program Construction : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Gerhart, S. L.; Gries, D.; Griffiths, M.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 68.00
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 59.06
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 82.97
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - Very good
£ 39.44
£ 12.48 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Very Good.
Programming and Mathematical Method : International Summer School
Broy, Manfred (EDT); Bauer, F. L. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 106.46
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Hoare, C. A. R.; Broy, Manfred (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 106.46
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Programming and Mathematical Method : International Summer School
Broy, Manfred (EDT); Bauer, F. L. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 112.13
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Hoare, C. A. R.; Broy, Manfred (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 112.13
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 100.02
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 116.85
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 56.78
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1979 ed.
Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 115.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Bauer, F.L., Broy, M., Dijkstra, E.W., Hoare, C.A., Broy, Manfred
- Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Good
£ 133.28
£ 3.36 shippingShips within U.S.A.Quantity: 1 available
Condition: Good. 478 pp., hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.…
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 107.33
£ 29.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.…
Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 138.04
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 139.08
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. viii + 478.
Published by London, Academic Press 1962., 1962
- Hardcover
Seller: Antiquariat Löcker, Wien, AustriaAntiquariat Löcker
Contact seller5-star sellerCondition: Used
Original price: £ 30.0945% offCurrent price: £ 16.55
£ 41.73 shippingShips from Austria to U.S.A.Quantity: 1 available
Add to basketIn Englisch. 114 S., OLn., geringe Gebrauchsspuren, ausgeschied. Bibl.-Expl. mit den üblichen Kennzeichnungen.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 131.70
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 486 pages. 9.40x6.80x1.10 inches. In Stock.
