Synopsis
Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, and design of real-time systems. The book is essential reading for developers of safety critical systems and researchers in the field.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods for Real-Time Computing
Seller Image
Formal Methods for Real-Time Computing
Seller: Greenworld Books, Arlington, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Fast Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy. Seller Inventory # GWV.0471958352.G