Montant total (1 article articles) :
Destination de la commande :
dijkstra e w (46 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (46)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
Particularités
- Ed. originale (5)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (20)
- Sans impressions à la demande (38)
Langue (4)
Livraison gratuite
Pays
Evaluation du vendeur
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,31
Expédition à EUR 3,88
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Edité par Springer, Heidelberg, 2000
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 5,28
Expédition à EUR 14,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,95
Expédition à EUR 15,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au paniergebundene Ausgabe. Etat : 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.
-
Structured Programming (A.P.I.C. Studies in Data Processing, No. 8)
Vendeur : Recycle Bookstore, San Jose, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 35,45
Expédition à EUR 4,95
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Formal Development of Programs and Proofs
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,80
Expédition à EUR 3,23
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : 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
Langue: anglais
Edité par Pearson Education, Limited, 1990
ISBN 10 : 0201172372 ISBN 13 : 9780201172379
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 41,19
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 1st. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Development of Programs and Proofs
Langue: anglais
Edité par Pearson Education, Limited, 1990
ISBN 10 : 0201172372 ISBN 13 : 9780201172379
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 41,19
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. 1st. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Development of Programs and Proofs
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,35
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Langue: anglais
Edité par Pearson Education, Limited, 1990
ISBN 10 : 0201172372 ISBN 13 : 9780201172379
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 36,83
Expédition à EUR 5,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Formal Development of Programs and Proofs
Langue: anglais
Edité par Pearson Education, Limited, 1990
ISBN 10 : 0201172372 ISBN 13 : 9780201172379
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 36,83
Expédition à EUR 5,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Methods Programming
Langue: anglais
Edité par Pearson Education, Limited, 1988
ISBN 10 : 0201175363 ISBN 13 : 9780201175363
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,11
Expédition à EUR 5,75
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Groningen in oorlogstijd: Aspecten van de bezettingsjaren 1940 - 1945
Langue: néerlandais
Edité par Haren : Knoop & Niemeijer, 1980
ISBN 10 : 9061488516 ISBN 13 : 9789061488514
Vendeur : Barksdale Books, Almere, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
EUR 10
Expédition à EUR 20
Expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Langue: anglais
Edité par Academic Press, 1962
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,95
Expédition à EUR 12,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au paniergebundene Ausgabe. Etat : 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.
-
Program Construction: International Summer School (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,60
Expédition à EUR 6,02
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. 038709251X Ex-library paperback in very nice condition with the usual markings and attachments.
-
Logic of Programmig and Calculi of Discrete Design
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 46,22
Expédition à EUR 14,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Etat de la jaquette : 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)
Edité par Academic Press, 1973
Vendeur : Recycle Bookstore, San Jose, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 35,45
Expédition à EUR 4,95
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Groningen in oorlogstijd. Aspecten van de bezettingsjaren 1940 - 1945.
Langue: néerlandais
Edité par Uitgeverij Knoop & Niemeijer, Haren, 1980
ISBN 10 : 9061488516 ISBN 13 : 9789061488514
Vendeur : Erwin Antiquariaat, Kampen, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 15
Expédition à EUR 27
Expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au paniercardboard / karton - hardcover. Etat : good / goed. 1ste / 1st. Kleine gebruiksspoortjes. 227 pagina's. Foto's, documenten, afbeeldingen. Size: A4 formaat.
-
A P I C studies in Data Processing No.2 - A Primer of ALGOL 60 Programming
Langue: anglais
Edité par Academic Press
Vendeur : Optimon Books, Gravesend, KENT, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 71,10
Expédition à EUR 23,01
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,06
Expédition à EUR 13,79
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
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:)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,77
Expédition à EUR 13,79
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 125,43
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
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:)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 127,78
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,76
Expédition à EUR 17,26
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
A Primer of ALGOL 60 Programming. ( = A.P.I.C. Studies in Data Processing, 2) .
Langue: anglais
Edité par Academic Press New York, 1962
Vendeur : ralfs-buecherkiste, Herzfelde, MOL, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 25
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierCloth. Etat : Wie neu. 114 Ex-Library. Additional cover foliation. Guter Zustand/ Good Ex-Library. Additional cover foliation. ha1089229 Sprache: Englisch Gewicht in Gramm: 510.
-
De schilderijen van Museum Catharijneconvent.
Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas
Membre d'association : ILAB NVVA
Évaluation du vendeur 4 sur 5 étoiles
EUR 33,95
Expédition à EUR 30
Expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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,
-
Goddelijk geschilderd. Honderd meesterwerken van Museum Catharijneconvent.
Edité par Utrecht-Zwolle, Museum Catharijneconvent-Waanders Uitgevers. 2003, 2003
ISBN 10 : 9040087210 ISBN 13 : 9789040087219
Vendeur : Mooney's bookstore, Den Helder, Pays-Bas
Évaluation du vendeur 4 sur 5 étoiles
EUR 34,08
Expédition à EUR 14,95
Expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very good.
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 156,47
Expédition à EUR 14,38
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reprint edition. 486 pages. 9.40x6.80x1.10 inches. In Stock.
-
EUR 95,70
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Constructive Methods in Computing Science | International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare | C. A. Hoare (u. a.) | Taschenbuch | viii | Englisch | 2011 | Springer-Verlag GmbH | EAN 9783642748868 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Langue: anglais
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642748864 ISBN 13 : 9783642748868
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 106,99
Expédition à EUR 64,17
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 174,22
Expédition à EUR 17,26
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
