Temporal logic of programs. by Fred Kroger
Material type: BookSeries: EATCS Monographs on theoretical computer science ; Publication details: Berlin Springer-Verlag 1987Description: vi, 148pISBN:- 0387170308
- 005.131 N873
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 005.131 N873 (Browse shelf(Opens below)) | Available | 142464 |
There are no comments on this title.