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.
| ISBN-13: | 9780133810394 |
| ISBN-10: | 0133810399 |
| Publisher: | Prentice Hall |
| Publication date: | 1993 |
| Pages: | 176 |
| Product dimensions: | Height: 9.5 Inches, Length: 7 Inches, Weight: 0.65 Pounds, Width: 0.5 Inches |
| Author: | Susan Stepney |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
Be the first to review this book!
