Importe total (1 artículo artículos):
Destino del pedido:
broy manfred (681 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (681)
- 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 (5)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (6)
- Con imágenes (339)
- No impresión bajo demanda (462)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Libro 13 de 16: Monographs in Computer ScienceLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 10,56
Envío por EUR 3,20
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 Systems Specification: The Rpc-Memory Specification Case Study
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 3,14
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1993
ISBN 10: 038757316X ISBN 13: 9780387573168
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 7,99
Envío por EUR 14,44
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Software Pioneers: Contributions to Software Engineering
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 12,65
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 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.
-
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Idioma: Inglés
Publicado por Springer Science & Business Media, 1995
ISBN 10: 3540605894 ISBN 13: 9783540605898
Librería: Bookbot, Prague, Republica Checa
Calificación del vendedor: 5 de 5 estrellas
EUR 3,80
Envío por EUR 20,99
Se envía de Republica Checa a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Fair. Aus Bibliothek aussortiert; Leichte Rillen / Abschürfungen / Risse / Knicke. This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
-
Informatik 1. Problemnahe Programmierung. Eine grundlegende Einführung (Springer-Lehrbuch)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,36
Envío por EUR 10,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.
-
Informatik 2. Rechnerstrukturen und maschinennahe Programmierung. Eine grundlegende Einführung
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,36
Envío por EUR 10,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.
-
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Librería: Wimbauer Buchversand, Hagen, NRW, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 12,80
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBN. Condición: Gut. 449 S. exBibliotheksexemplar mit den üblichen Stempeln/Signaturen, Kanten etwas berieben / bestossen, etwas angegrauter Einband, papierbedingte Seitenbräunung /// Standort Wimregal ISS-09220 ISBN 3540605894 Sprache: Englisch Gewicht in Gramm: 638.
-
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Lecture Notes in Computer Science, 1009
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 12,45
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 449 Seiten Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635.
-
The Future of Software Engineering: Panel Discussions
Idioma: Inglés
Publicado por Lonely Scholar 2011-11-01, 2011
ISBN 10: 9491386018 ISBN 13: 9789491386015
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 11,24
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
-
The Future of Software Engineering: Panel Discussions
Idioma: Inglés
Publicado por Lonely Scholar 2011-11-01, 2011
ISBN 10: 9491386018 ISBN 13: 9789491386015
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 11,59
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Projektorganisation und Management im Software Engineering (Xpert.press)
Libro 148 de 189: Xpert.pressLibrería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,90
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: as new. Wie neu/Like new.
-
Automotive Software-Connected Services in Mobile Networks
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 28,96
Envío por EUR 3,40
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 176.
-
Automotive Software-Connected Services in Mobile Networks
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 24,76
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 176 Illus.
-
Specification and Development of Interactive Systems
Libro 13 de 16: Monographs in Computer ScienceLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 25,50
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 370 Illus.
-
Programming and Mathematical Method (NATO Asi Series: Series F: Computer & Systems Sciences) Broy, Manfred
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 4,10
Envío por EUR 28,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Some marks to the cover on both sides. Extremities are worn in places. Inscription to inside page. Content is clean and readable throughout.
-
Programming and Mathematical Method (NATO Asi Series: Series F: Computer & Systems Sciences) Broy, Manfred
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 4,10
Envío por EUR 28,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Light marks to the cover on both sides. Inscriptions to the front of the book. Content is clean and readable throughout.
-
Specification and Development of Interactive Systems
Libro 13 de 16: Monographs in Computer ScienceLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 30,46
Envío por EUR 3,40
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 370.
-
Informatik: Eine Grundlegende Einführung Teil II. Rechnerstrukturen und Maschinennahe Programmierung (Springer-Lehrbuch)
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 3,14
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Specification and Development of Interactive Systems
Libro 13 de 16: Monographs in Computer ScienceLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 24,70
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 370.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Libro 13 de 16: Monographs in Computer ScienceLibrería: Books-R-Keen, DuBois, PA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 32,45
Envío por EUR 3,40
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New.
-
Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Idioma: Inglés
Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 18,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
-
Automotive Software-Connected Services in Mobile Networks
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 25,45
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 176.
-
Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen (German Edition)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 11,17
Envío por EUR 10,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.
-
Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen (German Edition)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 11,38
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
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
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 17,95
Envío por EUR 19,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritogebundene Ausgabe. Condición: 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.
-
Perspectives of System Informatics. 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Miembro de asociación: GIAQ ILAB VDA
Calificación del vendedor: 4 de 5 estrellas
EUR 9,00
Envío por EUR 30,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoXIII, 548 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2244. Sprache: Englisch.
-
Deductive Program Design (NATO Asi Series. Series F, Computer and Systems Sciences)
Librería: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 3,95
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoGebundene Ausgabe. Condición: Neu. Neu Neuware; original eingeschweisst; new item, still sealed; -Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art. 467 pp. Englisch.
-
Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch)
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 6,29
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik (Springer-Lehrbuch)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 12,80
Envío por EUR 10,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.
