Formal development of programs and proofs / edited by Edsger W Dijkstra.
Material type: TextSeries: The UT Year of Programming SeriesPublication details: Massachusetts: Addison Wesley Publishing Co, 1990.Description: 242pISBN:- 0201172372
- 005.1 DIJ
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Book | Bangalore | 005.1 DIJ (Browse shelf(Opens below)) | Available | IIMB-47202 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.