Importe total (1 artículo artículos):
Destino del pedido:
dijkstra edsger (59 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (59)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
Encuadernación
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (5)
- Con imágenes (15)
- No impresión bajo demanda (49)
Idioma (4)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
A Discipline of Programming
Librería: BookHolders, Towson, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,57
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Torn pages: YES ] [ Edition: first ] Publisher: Prentice Hall, Inc. Pub Date: 10/28/1976 Binding: Hardcover Pages: 217 first edition.
-
A Discipline of Programming
Idioma: Inglés
Publicado por Pearson Education, Limited, 1976
ISBN 10: 013215871X ISBN 13: 9780132158718
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Used book that is in clean, average condition without any missing pages.
-
A Discipline of Programming
Idioma: Inglés
Publicado por Pearson Education, Limited, 1976
ISBN 10: 013215871X ISBN 13: 9780132158718
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 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.
-
A Discipline of Programming
Idioma: Inglés
Publicado por Pearson Education, Limited, 1976
ISBN 10: 013215871X ISBN 13: 9780132158718
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 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
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 37,41
Envío por EUR 3,16
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: 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
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 40,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Selected Writings on Computing: A personal Perspective (Monographs in Computer Science)
Librería: Wonder Book, Frederick, MD, Estados Unidos de America
Miembro de asociación: ABAA ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 45,53
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Selected Writings on Computing : A Personal Perspective
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 50,08
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 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.
-
A Discipline of Programming
Librería: Jenson Books Inc, Logan, UT, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 50,39
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Acceptable. The item is showing use from the previous owner but works perfectly. Signs of previous ownership which could include: tears, scuffing, notes, excessive highlighting, gift inscriptions, slight water damage, a missing dust jacket, and library markings.
-
A Discipline of Programming (Prentice-Hall Series in Automatic Computation) by Edsger W. Dijkstra (1976-03-03)
Librería: ThriftBooksVintage, Tukwila, WA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Estado de la sobrecubierta: Fair. Heavy wear to the dust jacket with chipping and tearing. Light wear to the boards. Sound binding. Mostly clean interior pages with occasional highlighting and underlining. New mylar added to the dust jacket. This could have light cosmetic flaws, but remains in good condition. Dust jacket condition is Acceptable. This copy is the Third Printing of the published work. Secure packaging for safe delivery.
-
Structured Programming
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,44
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Selected Writings on Computing: A personal Perspective (Monographs in Computer Science)
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 46,62
Envío por EUR 6,73
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
Selected Writings on Computing A Personal Perspective
Idioma: Inglés
Publicado por Springer-Verlag, New York, NY, 1982
ISBN 10: 0387906525 ISBN 13: 9780387906522
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 56,43
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good+. Estado de la sobrecubierta: No Dust Jacket. First Edition; First Printing. Monographs In Computer Science; 6.5 X 1 X 9.75 inches; 362 pages; minor smudges on some pages. Ex-Library copy with usual identifiers. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
A Discipline of Programming (Prentice-Hall Series in Automatic Computation)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 41,29
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Methodik des Programmierens. Internationale Computer-Bibliothek
Idioma: Alemán
Publicado por [Bonn] : Addison-Wesley c 1985., 1985
ISBN 10: 3925118187 ISBN 13: 9783925118180
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 20,95
Envío por EUR 12,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 239 S. ; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind leicht bestoßen. Sprache: Deutsch Gewicht in Gramm: 620.
-
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 66,00
Envío por EUR 3,16
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 63,35
Envío por EUR 12,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
A Method of Programming (English and Dutch Edition)
Librería: BooksByLisa, Highland Park, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 80,58
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.
-
A Discipline of Programming
Librería: YESIBOOKSTORE, MIAMI, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 86,43
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: As New.
-
Predicate Calculus and Program Semantics (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag New York Inc., New York, NY, 2011
ISBN 10: 1461279240 ISBN 13: 9781461279242
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 95,28
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication. This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 91,85
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
A Method of Programming
Librería: Sell Books, Elland, YORKS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 83,25
Envío por EUR 14,04
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
A Discipline of Programming
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 92,32
Envío por EUR 5,86
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
-
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science, 445)
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 99,64
Envío por EUR 5,86
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
-
Formal Development of Programs and Proofs.
Publicado por Addison Wesely. 1990., 1990
Librería: Antiquariaat Ovidius, Bredevoort, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 36,00
Envío por EUR 22,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gebraucht / Used. Hardcover with dustwrapper. Very good. Xiv,242pp. Owner's blind book stamp on titlepage.
-
Predicate Calculus and Program Semantics
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 93,97
Envío por EUR 17,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 94,36
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Predicate Calculus and Program Semantics
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 118,23
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 240.
-
Predicate Calculus and Program Semantics
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 77,17
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Predicate calculus and program semantics Edsger W. Dijksstra, Carel S. Scholten. Texts and monographs in computer science.
Idioma: Inglés
Publicado por New York, Springer-Verlag [1990]., 1990
ISBN 10: 0387969578 ISBN 13: 9780387969572
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 83,44
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 513 9780387969572 Sprache: Englisch Gewicht in Gramm: 550.
