Formal Techniques in Real-time and Fault-tolerant Systems : Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
Vytopil, Jan
ISBN 10: 3540550925 ISBN 13: 9783540550921
Published by Springer, 1991
New
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 April 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 5906221-n
Synopsis:
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Techniques in Real-time and ...
Publisher: Springer
Publication Date: 1991
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571
Published by
Springer-Verlag, New York, 1991
ISBN 10: 3540550925
ISBN 13: 9783540550921
New
Softcover
First Edition
Seller: B-Line Books, Amherst, NS, Canada
Seller rating 5 out of 5 stars
Softcover. Condition: New. First Edition. Still in publisher's shrinkwrap ; 620 pages. Seller Inventory # 2311
Seller Image
Formal Techniques in Real-Time and Fault-Tolerant Systems
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540550925
ISBN 13: 9783540550921
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
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 wellthe useof formal techniques for . Seller Inventory # 4893449
Buy New
£ 81.88
£ 42.21 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Formal Techniques in Real-Time and Fault-Tolerant Systems | Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
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, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102135523
Seller Image
Formal Techniques in Real-Time and Fault-Tolerant Systems
Published by
Springer, Springer Dez 1991, 1991
ISBN 10: 3540550925
ISBN 13: 9783540550921
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
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 fault-tolerant systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 640 pp. Englisch. Seller Inventory # 9783540550921
Seller Image
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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 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. Seller Inventory # 9783540550921
Seller Image
Formal Techniques in Real-Time and Fault-Tolerant Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1991, 1991
ISBN 10: 3540550925
ISBN 13: 9783540550921
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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 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. 640 pp. Englisch. Seller Inventory # 9783540550921
Stock Image
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540550921_new
Buy New
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available