Abstract software specifications - Proceedings ed. by D. Bjorner
Material type: BookSeries: Lecture Notes in Computer Science ; 86Publication details: Berlin Springer-Verlag 1980Description: xi, 566pISBN:- 3540100075
- 001.6425 N802
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 001.6425 N802 (Browse shelf(Opens below)) | Available | 112386 |
There are no comments on this title.