Importo totale (1 articolo articoli):
Destinazione ordine:
dijkstra e w (42 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (42)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (2)
- Con foto (21)
- Non Print on Demand (32)
Lingua (4)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Development of Programs and Proofs
Lingua: Inglese
Editore: Pearson Education, Limited, 1990
ISBN 10: 0201172372 ISBN 13: 9780201172379
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 12,16
Spedizione EUR 5,78
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: 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.
-
hardcover. Condizione: 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!
-
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Editore: Springer, Heidelberg, 2000
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 5,31
Spedizione EUR 14,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 17,95
Spedizione EUR 19,95
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: 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.
-
Program Construction: International Summer School
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Structured Programming (A.P.I.C. Studies in Data Processing, No. 8)
Da: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: 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
Lingua: Olandese
Editore: Haren : Knoop & Niemeijer, 1980
ISBN 10: 9061488516 ISBN 13: 9789061488514
Da: Barksdale Books, Almere, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 10,00
Spedizione EUR 20,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Originele zwarte hardcover, gedecoreerde schutbladen, illustraties in z/w (waaronder foto's), 4to.
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
A Primer of Algol 60 Programming. A.P.I.C.Studies in Data Processing No.2
Lingua: Inglese
Editore: Academic Press, 1962
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 24,95
Spedizione EUR 15,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: 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.
-
Voor de eerlijke vinder
Editore: Edecea, Hoorn, 1974
ISBN 10: 9070022060 ISBN 13: 9789070022068
Da: Antiquariaat Parnassos vof, Wassenaar, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 5,00
Spedizione EUR 22,50
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloGebonden. Condizione: Lichte gebruikssporen. 95 pp. Poëzie en verhaaltjes. Teksten in groen gedrukt. Zwarte veegjee in de marge van pagina 8.
-
Logic of Programmig and Calculi of Discrete Design
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,47
Spedizione EUR 14,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Condizione sovraccoperta: 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)
Editore: Academic Press, 1973
Da: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: 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 Primer Of ALGOL 60 Programming: Together with Report on the Algorithmic Language ALGOL 60 (A.P.I.C. Studies in Data Processing No.2)
Editore: Academic Press
Da: Wonder Book, Frederick, MD, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Groningen in oorlogstijd. Aspecten van de bezettingsjaren 1940 - 1945.
Lingua: Olandese
Editore: Uitgeverij Knoop & Niemeijer, Haren, 1980
ISBN 10: 9061488516 ISBN 13: 9789061488514
Da: Erwin Antiquariaat, Kampen, Paesi Bassi
Valutazione del venditore 3 su 5 stelle
Prima edizione
EUR 15,00
Spedizione EUR 27,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellocardboard / karton - hardcover. Condizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,67
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
A P I C studies in Data Processing No.2 - A Primer of ALGOL 60 Programming
Lingua: Inglese
Editore: Academic Press
Da: Optimon Books, Gravesend, KENT, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 71,49
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
-
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:)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 114,57
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 114,56
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Constructive Methods in Computing Science
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. viii + 478.
-
Goddelijk geschilderd. Honderd meesterwerken van Museum Catharijneconvent.
Editore: Utrecht-Zwolle, Museum Catharijneconvent-Waanders Uitgevers. 2003, 2003
ISBN 10: 9040087210 ISBN 13: 9789040087219
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 34,08
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 154,55
Spedizione EUR 14,46
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2011
ISBN 10: 3642748864 ISBN 13: 9783642748868
EUR 106,99
Spedizione EUR 64,17
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 191,84
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 182,32
Spedizione EUR 28,92
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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:)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 212,11
Spedizione EUR 28,92
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: 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.
Lingua: Inglese
Editore: London / New York: Academic Press, 1972
Da: Schuebula, Schneverdingen OT Wintermoor, Germania
Valutazione del venditore 4 su 5 stelle
EUR 80,00
Spedizione EUR 22,50
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover/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.
Da: Frans Melk Antiquariaat, HILVERSUM, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 35,00
Spedizione EUR 68,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloUtrecht, 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.
Editore: London, Academic Press 1962., 1962
Da: Antiquariat Löcker, Wien, Austria
Membro dell'associazione: GIAQ ILAB VDA VDAO
Valutazione del venditore 5 su 5 stelle
EUR 35,00
Spedizione EUR 72,50
Spedito da Austria a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloIn Englisch. 114 S., OLn., geringe Gebrauchsspuren, ausgeschied. Bibl.-Expl. mit den üblichen Kennzeichnungen.
