Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (McGraw-Hill International Software Engineering)

0 avg rating
( 0 ratings by GoodReads )
 
9780077090524: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (McGraw-Hill International Software Engineering)

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.

Buy New View Book

Shipping: 4.10
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

He, Jifeng
Published by Mcgraw Hill Book Co Ltd (1995)
ISBN 10: 0077090527 ISBN 13: 9780077090524
New Hardcover Quantity Available: 1
Seller
dsmbooks
(liverpool, United Kingdom)
Rating
[?]

Book Description Mcgraw Hill Book Co Ltd, 1995. Hardcover. Book Condition: New. New. book. Bookseller Inventory # F5S3-1-Z-0077090527-6

More Information About This Seller | Ask Bookseller a Question

Buy New
96.44
Convert Currency

Add to Basket

Shipping: 4.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds