Gesamtpreis (1 Artikel Artikel):
Versandziel:
dijkstra e w (40 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (40)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (3)
- Angebotsfoto (21)
- Keine Print-on-Demand Angebote (29)
Sprache (4)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
hardcover. Zustand: 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!
-
Formal Development of Programs and Proofs
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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
Sprache: Englisch
Verlag: Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 18,09
EUR 5,74 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Good. 1st. 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.
-
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Verlag: Springer, Heidelberg, 2000
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,27
EUR 14,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
-
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
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: 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.
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, April 13 (weekend SALE item)* 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.
-
Structured Programming (A.P.I.C. Studies in Data Processing, No. 8)
Anbieter: Recycle Bookstore, San Jose, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Good. Stated fifth printing, 1974. This book has rubbing and smudging to both covers, a slightly shifted spine, a bumped bottom corner to the front cover, toning to the interior of the covers, a faint grey ink stamp and a former owner's black ink signature on the front endpage, a mild crack in the binding at the title page, light yellow staining approx 1/2 by 3/4 inches on pages 13/17, and an overall uneven gentle aging to the pages, otherwise this book is in good reference condition with crisp, unmarked pages, a tight binding, and a strong cover.
-
Groningen in oorlogstijd: Aspecten van de bezettingsjaren 1940 - 1945
Sprache: Niederländisch
Verlag: Haren : Knoop & Niemeijer, 1980
ISBN 10: 9061488516 ISBN 13: 9789061488514
Anbieter: Barksdale Books, Almere, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Originele zwarte hardcover, gedecoreerde schutbladen, illustraties in z/w (waaronder foto's), 4to.
-
A Primer of Algol 60 Programming. A.P.I.C.Studies in Data Processing No.2
Sprache: Englisch
Verlag: Academic Press, 1962
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: 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.
-
Logic of Programmig and Calculi of Discrete Design
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 46,11
EUR 14,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Zustand des Schutzumschlags: 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.
-
A Primer of ALGOL 60 Programming (A.P.I.C. Studies in Data Processing No. 2)
Verlag: Academic Press, 1973
Anbieter: Recycle Bookstore, San Jose, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: 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.
-
A P I C studies in Data Processing No.2 - A Primer of ALGOL 60 Programming
Sprache: Englisch
Verlag: Academic Press
Anbieter: Optimon Books, Gravesend, KENT, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 70,93
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fair. THERE ARE NO TARIFFS OR CUSTOMS DUTIES ON BOOKS. A P I C studies in Data Processing No.2 - A Primer of ALGOL 60 ProgrammingTogether withReport on the Algorithmic Language ALGOL 60Please note the pages are coming away from the spine at the frontispiece.The boards are faded and marked in places and also have shelf wear on the corners.
-
De schilderijen van Museum Catharijneconvent.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 123,62
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Zustand: New. pp. viii + 478.
-
Goddelijk geschilderd. Honderd meesterwerken van Museum Catharijneconvent.
Verlag: Utrecht-Zwolle, Museum Catharijneconvent-Waanders Uitgevers. 2003, 2003
ISBN 10: 9040087210 ISBN 13: 9789040087219
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 155,51
EUR 14,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: 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
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642748864 ISBN 13: 9783642748868
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 190,34
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
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))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 180,89
EUR 28,70 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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 (Nato ASI Subseries F:)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 210,45
EUR 28,70 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Structured Programming. A.P.I.C. Studies in Data Processing No. 8.
Sprache: Englisch
Verlag: London / New York: Academic Press, 1972
Anbieter: Schuebula, Schneverdingen OT Wintermoor, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Hardcover/Pappeinband. 220 Seiten; einige wenige Graphiken; 23,5 cm x 15 cm. Das Buch wurde laminiert, außerdem findet sich ein Namenseintrag auf dem fliegenden Blatt des Vorsatzes. Sonst gutes Exemplar aus der Steinzeit des Computers. Sprache: englisch. RR1/110 Sprache: Englisch Gewicht in Gramm: 463.
-
De schilderijen van Museum Catharijneconvent.
Anbieter: Frans Melk Antiquariaat, HILVERSUM, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Utrecht, Museum Catharijneconvent / Zwolle, Waanders, 2002. 27,5 x 24 cm. In linnen gebonden met stofomslag. Hardcover. Rijk geïllustreerd in z/w. 575 pag. Text in Dutch. NIEUW EXEMPLAAR nog verpakt in folie. [Art / Dutch art general [Algemene Nederlandse Kunst] ].
-
A Primer of ALGOL 60. Programming. Together with Report on the Algorithmic Language ALGOL 60.
Verlag: London, Academic Press 1962., 1962
Anbieter: Antiquariat Löcker, Wien, Österreich
Verbandsmitglied: GIAQ ILAB VDA VDAO
Verkäuferbewertung 4 von 5 Sternen
In Englisch. 114 S., OLn., geringe Gebrauchsspuren, ausgeschied. Bibl.-Expl. mit den üblichen Kennzeichnungen.
-
paperback. Zustand: New. Paperback. Pub Date: 2020-09-01 Pages: 213 Language: Chinese Publisher: Peoples Posts and Telecommunications Publishing House This book is the most important of Turing Award winner Edsger W. Dijkstra The book is also a classic in the field of programming.?Based on his keen insight and long-term practical programming experience. the author has made a unique summary and development of many key issues in the description and development of the basic sequence program.?This book discusses the essen.
-
A Primer Of ALGOL 60 Programming: Together with Report on the Algorithmic Language ALGOL 60 (A.P.I.C. Studies in Data Processing No.2)
Verlag: Academic Press
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Good condition. Good dust jacket. (Computer Program Language, Electronic Data Processing, Programming Languages) A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
-
De knotwilg.
Verlag: Utrecht. Uitgave Stichting Natuur en Milieu. 1976., 1976
Anbieter: Worpsweder Antiquariat, Worpswede, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Well illustrated in black and white. Pamphlet. 23,(1)pp. Large 8vo. Corners slightly bumped. Slightly used.
-
Constructive Methods in Computing Science (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 4 von 5 Sternen
EUR 86,24
EUR 8,00 Versand
Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
