0

My Bag

0.00

₹

Download App

Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The Mcgraw-Hill International Series in Software) 14.0%OFF

Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The Mcgraw-Hill International Series in Software)

by Jifeng He

  • ISBN

    :  

    9780077090524

  • Publisher

    :  

    Mcgraw Hill Book Co Ltd

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    175

  • Year

    :  

    1995

₹

5075.0

14.0% OFF

₹

4364.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

Estimated Shipping Time : 5-7 Business Days

View Details

Share it on

  • Description

    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.

Related Items

-

of

  • OFFER

    Evolutionary Computation: Toward a New Philosophy of Machine Intelligence

    David B. Fogel

    Starts At

    6807.0

    8957.0

    24% OFF

  • THE SCIENCE OF INFLUENCE

    Kevin Hogan

    Starts At

    295.0

  • OFFER

    Information Storage and Retrieval

    Robert R.l Korfhage

    Starts At

    229.0

    249.0

    8% OFF

  • OFFER

    Windows Vista Secrets

    Paul Thurrott Brian Livingston

    Starts At

    449.0

    599.0

    25% OFF

  • OFFER

    Java Server Programming Java Ee5 Black Book, Platinum Ed (With CD)

    Kogent Learning Solutions

    Starts At

    467.0

    599.0

    22% OFF

  • OFFER

    Medical Imaging 2001: Image Processing

    Milan Sonka

    Starts At

    7732.0

    10593.0

    27% OFF

  • OFFER

    Optical Pattern Recognition 17 (Proceedings of SPIE)

    David P. Casasent

    Starts At

    3280.0

    4494.0

    27% OFF

  • OFFER

    Simulation Engineering: Build Better Embedded Systems Faster

    Jim Ledin

    Starts At

    14230.0

    16547.0

    14% OFF

  • OFFER

    Delivering Digitally: Managing the Transition to the New Knowledge Media

    Alastair Inglis

    Starts At

    7945.0

    10454.0

    24% OFF

  • OFFER

    Network Security,A Hackers Perspective

    Ankit Fadia

    Starts At

    375.0

    399.0

    6% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- Bag Empty

Your Bag is Empty!!

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : null Total Savings        : Grand Total :

Order Summary