logo
  • High Integrity Compilation: A Case Study

High Integrity Compilation: A Case Study

0.0 (0 reviews)
Out of stock
N/A
Free Shipping within the US
Est. Date: Nov 15, 2025

Illustrating a route for mathematically specifying and rigorously implementing a high assurance compiler suitable for use in developing high integrity applications, this book explains the various techniques used at each stage of the development.

  • Author(s): Susan Stepney
  • Publisher: Prentice Hall
  • Language: en
  • Pages: 176
  • Binding: Paperback
  • Published: 1993
  • Dimensions: Height: 9.5 Inches, Length: 7 Inches, Weight: 0.65 Pounds, Width: 0.5 Inches
  • Estimated Delivery: Nov 15, 2025
Customer Reviews
0.0 (0 reviews)
Login to Write Review
No Reviews Yet

Be the first to review this book!