Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1992
ISBN 10: 0387550925 ISBN 13: 9780387550923
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 8,16
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 571; 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.
Idioma: Inglés
Publicado por Springer-Verlag, New York, 1991
ISBN 10: 3540550925 ISBN 13: 9783540550921
Librería: B-Line Books, Amherst, NS, Canada
Original o primera edición
EUR 14,37
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: New. First Edition. Still in publisher's shrinkwrap; 620 pages.
Librería: John M. Gram, Port Huron, MI, Estados Unidos de America
EUR 17,96
Cantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Fine. 3rd printing. a clean, square copy, no creasing, Dutch text.
Publicado por De Bilt : Cantecleer, 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Librería: Barksdale Books, Almere, Holanda
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, groot 8vo.
Publicado por De Bilt : Cantecleer, 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Librería: Barksdale Books, Almere, Holanda
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, 8vo.; Naam op schutblad.
EUR 6,90
Cantidad disponible: 1 disponibles
Añadir al carritoGeb., hardcover, groot formaat, i.z.g.st., 104 pagina's.
Publicado por Terra
ISBN 10: 9062558763 ISBN 13: 9789062558766
Librería: Mooney's bookstore, Den Helder, Holanda
EUR 21,38
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
EUR 8,05
Cantidad disponible: 1 disponibles
Añadir al carritoGeb., hardcover, groot formaat, gaaf exemplaar, 104 pagina's.
Publicado por Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Librería: Mooney's bookstore, Den Helder, Holanda
EUR 17,34
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
Librería: AwesomeBooks, Wallingford, Reino Unido
EUR 63,19
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct . 863 (Lecture Notes in Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Publicado por Cantecleer 1990, 1990
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, Holanda
EUR 8,05
Cantidad disponible: 1 disponibles
Añadir al carritoGeb., flexcover, i.z.g.st., 191 pagina's.
Librería: Bahamut Media, Reading, Reino Unido
EUR 63,19
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Idioma: Holandés
ISBN 10: 9021324156 ISBN 13: 9789021324159
Librería: Houtman Boeken, Utrecht, Holanda
EUR 5,69
Cantidad disponible: 1 disponibles
Añadir al carrito1998, 48pp, Nette paperback.
Publicado por , Cantecleer, de bilt, 1990, 1990
Librería: BOOKSELLER - ERIK TONEN BOOKS, Antwerpen, Belgica
Miembro de asociación: ILAB
EUR 10,00
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover, in zeer nette staat, 191 p - 580 gr - .17,5x 24,5 cm. tweede druk. 0 g.
Publicado por Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Librería: Mooney's bookstore, Den Helder, Holanda
EUR 22,38
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
Librería: La bataille des livres, Pradinas, Francia
EUR 26,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Très bon. Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct | Langmaack, de Roever, Vytopil | Springer, 1994. In-8° broché, 787p. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général [NM5+] Pour les expéditions internationales, nous consulter au préalable pour l ajustement des frais de port qui seront peut-être revus à la baisse/ For international shipments, please contact us in advance to adjust shipping costs. |.
EUR 31,41
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
Publicado por Cantecleer, De Bilt - eerste druk 1993, 1993
Librería: Handled With Care, Bocholt, Belgica
EUR 8,40
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover/Hardback. Condición: Very Good. In zeer goede staat. Hardcover. Rijkelijk geà llustreerd.
Publicado por Cantecleer
ISBN 10: 9021305895 ISBN 13: 9789021305899
Librería: Mooney's bookstore, Den Helder, Holanda
EUR 26,93
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
Publicado por Terra, 1999
ISBN 10: 9062558763 ISBN 13: 9789062558766
Librería: Untje.com, Roeselare, Belgica
EUR 5,59
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Dutch.
Idioma: Inglés
Publicado por Boom Uitgevers Den Haag, 2015
ISBN 10: 9462365911 ISBN 13: 9789462365919
Librería: Better World Books Ltd, Dunfermline, Reino Unido
EUR 92,82
Cantidad disponible: 1 disponibles
Añadir al carritoCondició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.
EUR 9,46
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. 191 p. : ill. ; 28 cm Vert. van: The appliqué book. - London : Lincoln, cop. 1990.Appliqué book. - London : Lincoln, cop. 1990 Dutch 1e dr. Met reg.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 117,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 117,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por de Bilt, Cantecleer., 1990
ISBN 10: 9021305895 ISBN 13: 9789021305899
Librería: Antiquariat Held, Stuttgart, Alemania
EUR 28,00
Cantidad disponible: 1 disponibles
Añadir al carritoMit 52 (49 farb.) Abb. u. zahlr. (1 farb.) Illustr. 191 S. Gr. 8°. Farb. illustr., flexibler OPbd., dieser etwas bestoßen, sonst gutes Exemplar. Sprache: niederländisch.
Librería: Bookmans, Tucson, AZ, Estados Unidos de America
EUR 159,03
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Satisfaction 100% guaranteed.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 106,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied: to specify and model qualitative and quantitativereal-time and fault-tolerant behavior to analyze timeliness requirements and consequences offaulthypotheses to verify protocols and program code to formulate formal frameworks for development ofreal-time and fault-tolerant systems to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 106,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 167,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 167,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.