Vytopil (65 results)
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
US$ 9.20
US$ 16.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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…, clean book with tight binding. ADG. Ex-Library.
Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571
- Softcover
- First Edition
Seller: B-Line Books, Amherst, NS, CanadaB-Line Books
Contact seller5-star sellerCondition: New
US$ 16.00
US$ 12.50 shippingShips from Canada to U.S.A.Quantity: 1 available
Softcover. Condition: New. First Edition. Still in publisher's shrinkwrap; 620 pages.
- Softcover
Seller: John M. Gram, Port Huron, MI, U.S.A.John M. Gram
Contact seller5-star sellerCondition: Used - Fine
US$ 20.00
US$ 6.45 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Fine. 3rd printing. a clean, square copy, no creasing, Dutch text.
- More images
Published by De Bilt : Cantecleer, 1990
- Softcover
Seller: Barksdale Books, Almere, NetherlandsBarksdale Books
Contact seller5-star sellerCondition: Used - Good
US$ 11.72
US$ 22.75 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, groot 8vo.
Published by De Bilt : Cantecleer, 1990
- Softcover
Seller: Barksdale Books, Almere, NetherlandsBarksdale Books
Contact seller5-star sellerCondition: Used - Good
US$ 11.72
US$ 22.75 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Good. Softcover flexiband, veel (paginagrote) illustraties in kleur en z/w, 8vo.; Naam op schutblad.
- Softcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - As new
US$ 23.87
US$ 17.01 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: As New.
- Hardcover
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, NetherlandsAntiquariaat Schot
Contact seller5-star sellerCondition: Used
US$ 8.09
US$ 28.44 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Geb., hardcover, groot formaat, i.z.g.st., 104 pagina's.
- Hardcover
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, NetherlandsAntiquariaat Schot
Contact seller5-star sellerCondition: Used
US$ 9.43
US$ 28.44 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Geb., hardcover, groot formaat, gaaf exemplaar, 104 pagina's.
Published by Unknown
- Hardcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - Very good
US$ 28.23
US$ 17.01 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Very Good.
- Softcover
Seller: AwesomeBooks, Wallingford, United KingdomAwesomeBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 71.26
US$ 5.48 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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. .
Published by Cantecleer 1990, 1990
Seller: Antiquariaat Schot, Hendrik-Ido-Ambacht, NetherlandsAntiquariaat Schot
Contact seller5-star sellerCondition: Used
US$ 9.43
US$ 28.44 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Add to basketGeb., flexcover, i.z.g.st., 191 pagina's.
- Softcover
Seller: Bahamut Media, Reading, United KingdomBahamut Media
Contact seller5-star sellerCondition: Used - Very good
US$ 71.26
US$ 9.29 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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.
- More images
Language: Dutch
- Softcover
Seller: Houtman Boeken, Utrecht, NetherlandsHoutman Boeken
Contact seller5-star sellerCondition: Used
US$ 6.67
US$ 34.07 shippingShips from Netherlands to U.S.A.Quantity: 1 available
1998, 48pp, Nette paperback.
Published by , Cantecleer, de bilt, 1990, 1990
- Softcover
Seller: BOOKSELLER - ERIK TONEN BOOKS, Antwerpen, BelgiumBOOKSELLER - ERIK TONEN BOOKS
Contact seller5-star sellerCondition: Used
US$ 11.72
US$ 44.94 shippingShips from Belgium to U.S.A.Quantity: 1 available
Add to basketSoftcover, in zeer nette staat, 191 p - 580 gr - .17,5x 24,5 cm. tweede druk. 0 g.
- Softcover
Seller: La bataille des livres, Pradinas, FranceLa bataille des livres
Contact seller5-star sellerCondition: Used - Fine
US$ 30.47
US$ 68.26 shippingShips from France to U.S.A.Quantity: 1 available
Condition: 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 b…ibliothè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. |.
Published by Cantecleer
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - Very good
US$ 30.80
US$ 17.01 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: Very Good.
- More images
Published by Terra, 1999
- Hardcover
Seller: Untje.com, Roeselare, BelgiumUntje.com
Contact seller5-star sellerCondition: Used - Good
US$ 6.55
US$ 56.88 shippingShips from Belgium to U.S.A.Quantity: 1 available
Hardcover. Condition: Good. Dutch.
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Good
US$ 102.24
US$ 6.66 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: 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.
- More images
Published by Cantecleer, De Bilt - eerste druk 1993, 1993
- Hardcover
Seller: Handled With Care, Bocholt, BelgiumHandled With Care
Contact seller4-star sellerCondition: Used - Very good
US$ 9.84
US$ 53.47 shippingShips from Belgium to U.S.A.Quantity: 1 available
Add to basketHardcover/Hardback. Condition: Very Good. In zeer goede staat. Hardcover. Rijkelijk geà llustreerd.
- More images
- Hardcover
Seller: Untje.com, Roeselare, BelgiumUntje.com
Contact seller5-star sellerCondition: Used - Good
US$ 11.08
US$ 56.88 shippingShips from Belgium to U.S.A.Quantity: 1 available
Hardcover. Condition: 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.
- Softcover
Seller: Mooney's bookstore, Den Helder, NetherlandsMooney's bookstore
Contact seller4-star sellerCondition: Used - As new
US$ 43.23
US$ 17.01 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: As New.
- More images
Published by de Bilt, Cantecleer., 1990
- Hardcover
Seller: Antiquariat Held, Stuttgart, GermanyAntiquariat Held
Contact seller4-star sellerCondition: Used
US$ 32.81
US$ 39.82 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 132.85
US$ 15.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 132.85
US$ 15.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Bookmans, tucson, AZ, U.S.A.Bookmans
Contact seller5-star sellerCondition: Used - Good
US$ 177.09
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. Satisfaction 100% guaranteed.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 125.37
US$ 73.70 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 fo…r 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.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 125.37
US$ 75.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 bo…ok 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.
- More images
- Softcover
Seller: SomeThingz. Books etcetera., Averbode, BelgiumSomeThingz. Books etcetera.
Contact seller5-star sellerCondition: Used
US$ 9.97
US$ 47.78 shippingShips from Belgium to U.S.A.Quantity: 1 available
Add to basketDe Bilt, Cantecleer, 1991 Tweede druk. Softcover, 191pp., 18x24.5cm., geïllustreerd in kleur en z/w., in zeer goede staat.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 189.02
US$ 15.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 202.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
