9783540550921 - Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings (lecture Notes in Computer Science, 571) (8 results)
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 25.41
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 134.69
US$ 16.17 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 127.04
US$ 74.68 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.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1991, 1991
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 127.04
US$ 26.51 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 form…al 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. 640 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 109.56
US$ 56.48 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 wel…lthe useof formal techniques for .
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 113.63
US$ 80.70 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings | Jan Vytopil | Taschenbuch | xii | Englisch | 1991 | Springer | EAN 9783540550921 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergart…enstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 127.04
US$ 69.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fa…ult-tolerant systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 640 pp. Englisch.
