Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, 891) - Softcover
Synopsis
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Development of Reactive Systems: Case Study...
Stock Image
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD141179A
Stock Image
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, 891)
Seller: BASEMENT BOOKS, Albuquerque, NM, U.S.A.
Seller rating 4 out of 5 stars
Trade Paperback. Condition: Fine. Soft cover 8vo in printed wraps. Fine and unmarked. 591pp; illustrated in diagrams and drawings. 412 p. Book. Seller Inventory # 047732
Stock Image
Formal Development Of Reactive Systems: Case Study Production Cell
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-241581
Stock Image
Formal Development Of Reactive Systems: Case Study Production Cell
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-155902
Stock Image
Formal Development of Reactive Systems
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 412 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5850992
Buy New
US$ 55.54
US$ 8.67 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Development of Reactive Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 412. Seller Inventory # 263078319
Stock Image
Formal Development of Reactive Systems
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 412. Seller Inventory # 183078309
Buy New
US$ 58.75
US$ 11.47 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, 891)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540588672_new
Buy New
US$ 69.76
US$ 15.97 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540588672
Buy New
US$ 65.64
US$ 20.65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Formal Development of Reactive Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1995, 1995
ISBN 10: 3540588671
ISBN 13: 9783540588672
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 is based upon work done under the project 'Correct Software through Formal Methods' supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. 412 pp. Englisch. Seller Inventory # 9783540588672
Buy New
US$ 63.51
US$ 26.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available