Foundations of program verification by Jacques Loeckx, Kurt Sieber, Ryan D. Stansifer
Material type: BookSeries: Wiley-Teubner series in computer sciencePublication details: Chichester John Wiley and sons 1987Edition: secondDescription: ix, 230pISBN:- 0471912824
- 001.6424 N8746
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 001.6424 N8746 (Browse shelf(Opens below)) | Available | 138287 |
There are no comments on this title.