An Introduction to Program Fault Tolerance: A Structured Programming Approach

Front Cover
Prentice Hall International, 1990 - Fault-tolerant computing - 352 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Relational Approach
1
Program specifications
44
Program verification and construction
66
Copyright

12 other sections not shown

Other editions - View all

Common terms and phrases

About the author (1990)

HAFEDH MILI is Full Professor in the Department of Computer Science at the University of Quebec at Montreal.

ALI MILI, SHERIF YACOUB, and EDWARD ADDY work in the Institute for Software Research at the University of West Virginia in Fairmont, West Virginia.

Bibliographic information