TY  - BOOK
AU  - Francez,Nissim
TI  - Program verification
T2  - International computer science series
SN  - 9780201416084
U1  - 005.14 23
PY  - 1992///
CY  - Wokingham, England
PB  - Addison-Wesley Pub. Co.
KW  - Computer software
KW  - Verification
N1  - Includes bibliographical references (p. 295-303) and index; 1. Introduction--
2. On specifications--
3. Verifying deterministic programs--
4. The compositional approach--
5. Verifying nondeterministic programs--
6. Verifying programs with procedures--
7. Verifying concurrent programs--
8. Verifying distributed programs--
Conclusion--
References--
Index
N2  - This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building provably correct programs, emphasising the role of verification in software development
ER  -