Vytopil (65 résultats)
- Couverture souple
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 8,06
EUR 14,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. 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, cl…ean book with tight binding. ADG. Ex-Library.
Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571
- Couverture souple
- Édition originale
Vendeur : B-Line Books, Amherst, NS, CanadaB-Line Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 14,26
EUR 10,81 expéditionExpédition depuis Canada vers Etats-UnisQuantité disponible : 1 disponible(s)
Softcover. Etat : New. First Edition. Still in publisher's shrinkwrap; 620 pages.
- Couverture souple
Vendeur : John M. Gram, Port Huron, MI, Etats-UnisJohn M. Gram
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 17,82
EUR 5,58 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Soft cover. Etat : Fine. 3rd printing. a clean, square copy, no creasing, Dutch text.
- Couverture souple
Vendeur : Barksdale Books, Almere, Pays-BasBarksdale Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 10,00
EUR 20,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. Paperback, veel illustraties in kleur en z/w, 4to.
Edité par De Bilt : Cantecleer, 1990
- Couverture souple
Vendeur : Barksdale Books, Almere, Pays-BasBarksdale Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 10,00
EUR 20,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, groot 8vo.
Edité par De Bilt : Cantecleer, 1990
- Couverture souple
Vendeur : Barksdale Books, Almere, Pays-BasBarksdale Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 10,00
EUR 20,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, 8vo.; Naam op schutblad.
- Couverture souple
Vendeur : Mooney's bookstore, Den Helder, Pays-BasMooney's bookstore
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 20,37
EUR 14,95 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : As New.
- Couverture rigide
Vendeur : Antiquariaat Schot, Hendrik-Ido-Ambacht, Pays-BasAntiquariaat Schot
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 6,90
EUR 25,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Geb., hardcover, groot formaat, i.z.g.st., 104 pagina's.
- Couverture rigide
Vendeur : Antiquariaat Schot, Hendrik-Ido-Ambacht, Pays-BasAntiquariaat Schot
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 8,05
EUR 25,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Geb., hardcover, groot formaat, gaaf exemplaar, 104 pagina's.
Edité par Unknown
- Couverture rigide
Vendeur : Mooney's bookstore, Den Helder, Pays-BasMooney's bookstore
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 24,09
EUR 14,95 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Very Good.
- Couverture souple
Vendeur : AwesomeBooks, Wallingford, Royaume-UniAwesomeBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 62,48
EUR 4,81 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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 limi…ted 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. .
Edité par Cantecleer 1990, 1990
Vendeur : Antiquariaat Schot, Hendrik-Ido-Ambacht, Pays-BasAntiquariaat Schot
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 8,05
EUR 25,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierGeb., flexcover, i.z.g.st., 191 pagina's.
- Couverture souple
Vendeur : Bahamut Media, Reading, Royaume-UniBahamut Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 62,48
EUR 8,15 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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.
Langue : néerlandais
- Couverture souple
Vendeur : Houtman Boeken, Utrecht, Pays-BasHoutman Boeken
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 5,69
EUR 29,95 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
1998, 48pp, Nette paperback.
Edité par , Cantecleer, de bilt, 1990, 1990
- Couverture souple
Vendeur : BOOKSELLER - ERIK TONEN BOOKS, Antwerpen, BelgiqueBOOKSELLER - ERIK TONEN BOOKS
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 10,00
EUR 39,50 expéditionExpédition depuis Belgique vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover, in zeer nette staat, 191 p - 580 gr - .17,5x 24,5 cm. tweede druk. 0 g.
- Couverture souple
Vendeur : La bataille des livres, Pradinas, FranceLa bataille des livres
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 26,00
EUR 60,00 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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 bibli…othè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. |.
Edité par Cantecleer
Vendeur : Mooney's bookstore, Den Helder, Pays-BasMooney's bookstore
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Assez bon
EUR 26,28
EUR 14,95 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Very Good.
- Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-UniBetter World Books Ltd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 91,96
EUR 5,84 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
Edité par Cantecleer, De Bilt - eerste druk 1993, 1993
- Couverture rigide
Vendeur : Handled With Care, Bocholt, BelgiqueHandled With Care
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 8,40
EUR 47,00 expéditionExpédition depuis Belgique vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover/Hardback. Etat : Very Good. In zeer goede staat. Hardcover. Rijkelijk geà llustreerd.
Edité par Terra, 1999
- Couverture rigide
Vendeur : Untje.com, Roeselare, BelgiqueUntje.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 5,59
EUR 50,00 expéditionExpédition depuis Belgique vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Good. Dutch.
- Couverture souple
Vendeur : Mooney's bookstore, Den Helder, Pays-BasMooney's bookstore
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 36,89
EUR 14,95 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : As New.
- Couverture rigide
Vendeur : Untje.com, Roeselare, BelgiqueUntje.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 9,46
EUR 50,00 expéditionExpédition depuis Belgique vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,47
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,47
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Edité par de Bilt, Cantecleer., 1990
- Couverture rigide
Vendeur : Antiquariat Held, Stuttgart, AllemagneAntiquariat Held
Contacter le vendeurVendeur avec une évaluation de 3 étoilesEtat: Occasion
EUR 28,00
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Mit 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.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 136,32
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 136,32
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture rigide
Vendeur : Bookmans, tucson, AZ, Etats-UnisBookmans
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 157,79
EUR 3,45 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Good. Satisfaction 100% guaranteed.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 64,78 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 de…sign, 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.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 66,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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 c…ontains 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.
