Program verification / Francez Nissim.
Material type:
TextSeries: International computer science seriesPublication details: Wokingham, England : Addison-Wesley Pub. Co., c1992.Description: xi, 312 p. : ill. ; 24 cmISBN: - 9780201416084
- 005.14 23 F815
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 005.14 F815 (Browse shelf(Opens below)) | Available | C26382 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.14 D923 Software defect removal | 005.14 Eb16 Software measurement | 005.14 Ev92 Productive software test management | 005.14 F815 Program verification / | 005.14 G311 Software specification techniques | 005.14 G463 Software metrics | 005.14 H699 Program development by specification and transformation : the PROSPECTRA methodology,language family, and system |
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.
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.
There are no comments on this title.
