An authoritative report on the design of safety-critical computer systems. Presents issues involved in the development of high-integrity software for life-crucial applications plus a review of the latest tools and techniques. Supplemented by recent U.K. Ministry of Defense Standard 00-55 and other guidance material.
| ISBN-13: | 9780471934745 |
| ISBN-10: | 0471934747 |
| Publisher: | Wiley |
| Publication date: | 1992-07-14 |
| Edition description: | 1 |
| Pages: | 302 |
| Product dimensions: | Height: 9.4488 Inches, Length: 6.2992 Inches, Weight: 1.69315017216 Pounds, Width: 1.37795 Inches |
| Author: | Brian A. Wichmann |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
Be the first to review this book!
