Items related to Provably Correct Systems: Modelling of Communication...
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The McGraw-Hill International Series in Software) - Hardcover
Safety-critical systems - used, for example, in defence and aircraft navigation - are one of the most crucial areas of today's software development. Based on the ESPRIT ProCoS (Provably Correct Systems) project, this book shows how to apply engineering principles to this field. The aims of the book are twofold: firstly, to apply formal methods to communication languages, designed to create a high degree of confidence in compilers; secondly, to tackle the general problems of verifying large software systems. These subjects are presented in terms of both the model-oriented and the algebraic forms of specification. These techniques can be applied to both hardware and software.
"synopsis" may belong to another edition of this title.
- PublisherMcGraw-Hill Book Co Ltd
- ISBN 10 0077090527
- ISBN 13 9780077090524
- BindingHardcover
- Number of pages175
(No Available Copies)
Search Books: Create a WantIf you know the book but cannot find it on AbeBooks, we can automatically search for it on your behalf as new inventory is added. If it is added to AbeBooks by one of our member booksellers, we will notify you!
Create a Want