9783540550921 - Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings: 571 (lecture Notes in Computer Science, 571) (9 results)
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
£ 12.39
£ 10.15 shippingShips from Canada to U.S.A.Quantity: 1 available
Softcover. Condition: New. First Edition. Still in publisher's shrinkwrap ; 620 pages.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 107.43
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.88
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 114.08
£ 1.98 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 85.28
£ 60.56 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.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 95.34
£ 56.04 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
£ 95.34
£ 19.90 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
£ 82.22
£ 42.38 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 .
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 95.34
£ 51.91 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.
