Order Total (1 Item Items):
Shipping Destination:
Dijkstra E W (48 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (48)
- 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 (23)
- As New, Fine or Near Fine (5)
- Very Good or Good (14)
- Fair or Poor (No further results match this refinement)
- As Described (6)
Binding
Collectible Attributes
- First Edition (5)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (19)
- Not Print on Demand (37)
Language (4)
Free Shipping
Seller Location
Seller Rating
-
Methods Programming
Language: English
Published by Pearson Education, Limited, 1988
ISBN 10: 0201175363 ISBN 13: 9780201175363
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 81.31
US$ 10.80 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Published by Springer, Heidelberg, 2000
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. 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. 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!
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Formal Development of Programs and Proofs
Language: English
Published by Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
First Edition
Condition: Good. 1st. Used book that is in clean, average condition without any missing pages.
-
Formal Development of Programs and Proofs
Language: English
Published by Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
First Edition
Condition: Very Good. 1st. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
De schilderijen van Museum Catharijneconvent.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: as new. Utrecht : Museum Catharijneconvent & Zwolle : Waanders, 2002. Hardcover. Dustjacket. 575 pp. Ills. 28 cm. Nederlandse tekst. - Museum Catharijneconvent te Utrecht, sinds 1976 het nationaal museum voor de christelijke cultuur, herbergt de belangrijkste collectie religieuze kunst in Nederland. Het is ontstaan door de samenvoeging van 9 deelverzamelingen, w.o. katholiek, oud-katholiek, protestants en rijksbezit. Tot nu toe was er alleen een catalogus van het bezit van het (voormalig) Aartsbisschoppelijk Museum Utrecht (1933; 2e ed. 1948), een van de deelcollecties. Met deze mooi verzorgde bestandscatalogus, waaraan uitvoerig onderzoek ten grondslag ligt, worden door vakauteurs voor het eerst alle West-Europese schilderijen toegankelijk gemaakt voor vakmensen en geïnteresseerden. In de korte inleiding (met noten) worden het ontstaan en de geschiedenis van de diverse collecties helder beschreven. De catalogus bevat alle werken (ruim 1100!), afgebeeld in zwart-wit, met beschrijvingen, technische gegevens, herkomst en uitvoerige literatuur. Met uitgebreide registers op personen, plaatsen, iconografie en inventarisnummers. Condition : as new copy. ISBN 9789040096617. Keywords : ART,
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, 55
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 478 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: 910.
-
A Primer of Algol 60 Programming. A.P.I.C.Studies in Data Processing No.2
Language: English
Published by Academic Press, 1962
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 114 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. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 420.
-
Formal Development of Programs and Proofs
Language: English
Published by Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
First Edition
US$ 48.40
US$ 10.80 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Formal Development of Programs and Proofs
Language: English
Published by Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
First Edition
US$ 48.40
US$ 10.80 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Goddelijk geschilderd. Honderd meesterwerken van Museum Catharijneconvent.
Published by Utrecht-Zwolle, Museum Catharijneconvent-Waanders Uitgevers. 2003, 2003
ISBN 10: 9040087210 ISBN 13: 9789040087219
Condition: Very good.
-
-
Groningen in oorlogstijd. Aspecten van de bezettingsjaren 1940 - 1945.
Language: Dutch
Published by Uitgeverij Knoop & Niemeijer, Haren, 1980
ISBN 10: 9061488516 ISBN 13: 9789061488514
First Edition
cardboard / karton - hardcover. Condition: good / goed. 1ste / 1st. Kleine gebruiksspoortjes. 227 pagina's. Foto's, documenten, afbeeldingen. Size: A4 formaat.
-
-
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 65.76
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Very Good. 038709251X Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: New. pp. 664.
-
Logic of Programmig and Calculi of Discrete Design
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
US$ 54.22
US$ 12.82 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Hardcover with printed boards, no dust jacket, in very good condition. Boards are slightly marked, and edges and spine ends are bumped and nicked in places. Page block is lightly tanned and blemished, page edges are a little tanned, and previous owner's name penned to front end-paper. Pages are otherwise clear and binding is sound. LW. Used.
-
-
Voor de eerlijke vinder
Published by Edecea, Hoorn, 1974
ISBN 10: 9070022060 ISBN 13: 9789070022068
Seller: Antiquariaat Parnassos vof, Wassenaar, Netherlands
Seller rating 5 out of 5 stars
Gebonden. Condition: Lichte gebruikssporen. 95 pp. Poëzie en verhaaltjes. Teksten in groen gedrukt. Zwarte veegjee in de marge van pagina 8.
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 131.10
US$ 16.17 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 131.09
US$ 20.25 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
A Primer of ALGOL 60 Programming. ( = A.P.I.C. Studies in Data Processing, 2) .
Language: English
Published by Academic Press New York, 1962
Cloth. Condition: Wie neu. 114 Ex-Library. Additional cover foliation. Guter Zustand/ Good Ex-Library. Additional cover foliation. ha1089229 Sprache: Englisch Gewicht in Gramm: 510.
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
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.
-
Condition: New. pp. viii + 478.
-
US$ 181.93
US$ 16.87 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 486 pages. 9.40x6.80x1.10 inches. In Stock.
-
Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Language: English
Published by Springer Berlin Heidelberg, 2011
ISBN 10: 3642748864 ISBN 13: 9783642748868
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.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 218.26
US$ 20.25 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
