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 |
Browsing Department of Mathematics shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | |||||
681.3.066 DHA'02 Systems programming and operating systems | 681.3.066 DHA;1 Systems programming and operating systems | 681.3.066 GOD Operating systems | 681.3.066 GRE Theory of program structures : | 681.3.066 HAB Introduction to operating system design / | 681.3.066 HEY Using power builder 6 | 681.3.066 KUR Operating systems principles .-2nded./ |
There are no comments on this title.