Dijkstra e w (48 resultados)
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Gries, D.; Turski, W. M. (eds.)
Editorial: Springer, Heidelberg, 2000
- Tapa blanda
Librería: PsychoBabel & Skoob Books, Didcot, Reino UnidoPsychoBabel & Skoob Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 5,49
Envío por EUR 14,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoPaperback. Condición: 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.

- Tapa dura
Librería: Orion Tech, Kingwood, TX, Estados Unidos de AmericaOrion Tech
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 42,03
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
hardcover. Condición: As New.

- Tapa dura
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 36,29
Envío por EUR 4,49Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponible
No jacket. Condición: 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. …

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
- Tapa dura
Librería: Barksdale Books, Almere, HolandaBarksdale Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 10,00
Envío por EUR 20,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Good. Originele zwarte hardcover, gedecoreerde schutbladen, illustraties in z/w (waaronder foto's), 4to.

Editorial: Edecea, Hoorn, 1974
Librería: Antiquariaat Parnassos vof, Wassenaar, HolandaAntiquariaat Parnassos vof
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 5,00
Envío por EUR 22,50Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Gebonden. Condición: Lichte gebruikssporen. Estado de la sobrecubierta: Stofomslag met l.gebruiksspore. 95 pp. Poëzie en verhaaltjes. Teksten in groen gedrukt. Zwarte veegjee in de marge van pagina 8.

- Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino UnidoBetter World Books Ltd
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 53,12
Envío por EUR 5,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.

- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 43,90
Envío por EUR 15,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,29
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Editorial: Academic Press, 1973
- Tapa dura
Librería: Recycle Bookstore, San Jose, CA, Estados Unidos de AmericaRecycle Bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Muy bueno
EUR 36,98
Envío por EUR 5,17Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: 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. …

- Tapa dura
Librería: Hawking Books, Edgewood, TX, Estados Unidos de AmericaHawking Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 68,29
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Very Good. Very Good Condition. Has some wear. Five star seller - Buy with confidence.

Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,15
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1979 ed.

Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Bauer, F.L.; Dijkstra, E.W.; Gerhart, S.L.; Gries, D.; Griffiths, M.; Guttag, J. V.; Horning, J. J.; Owicki, S. S.; Pair, C.; Partsch, H.; Pepper, P.; Wirsing, M.; Wössner, H.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,13
Envío por EUR 17,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

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)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,90
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 94,30
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.

Idioma: Inglés
Editorial: Academic Press
- Tapa dura
Librería: Optimon Books, Gravesend, KENT, Reino UnidoOptimon Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 73,89
Envío por EUR 21,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Fair. 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.…

- Tapa blanda
Librería: Mooney's bookstore, Den Helder, HolandaMooney's bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 45,88
Envío por EUR 14,95Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Very Good.

- Tapa dura
Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, HolandaKloof Booksellers & Scientia Verlag
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 33,95
Envío por EUR 30,00Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 123,77
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 141,59
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 131,43
Envío por EUR 13,50Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,93
Envío por EUR 77,73Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1979 ed.

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
- Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de AmericaZubal-Books, Since 1961
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 149,84
Envío por EUR 4,04Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.…

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)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 142,87
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 124,85
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: 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)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 165,84
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 167,61
Envío por EUR 3,59Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. viii + 478.

- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 162,62
Envío por EUR 14,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: 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
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 221,70
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 211,85
Envío por EUR 29,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: 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
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 247,27
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.