Theory of program structures : schemes, semantics, verification / Sheila A. Greibach.
Material type: TextSeries: Lecture notes in computer science;36Publication details: Berlin ; New York : Springer-Verlag, 1975.Description: 389 p. in various pagings : illISBN:- 0387074155
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Department of Mathematics | 681.3.066 GRE (Browse shelf(Opens below)) | 1 | Available | MAT01094 |
There are no comments on this title.