Mathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989

Contributor(s): | Snepscheut, J.L.A. van de | Snepscheut, J.L.A. van deLanguage: English Series: Publication details: Berlin ; Springer-Verlag ; 1989Edition: Description: vi,421 p; 26 cmISBN: 3-540-51305-1Subject(s): | Computer Science and Engineering | Computer programs-Verification-Congresses , Computer programs-Mathematics-Congresses
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.3.06:51Mat:89 Available C19B20 153890
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha