Cafe OBJ report The languange, proof techniques, and methodologies for object - oriented specification Razvan Diaconescu, Kokichi Futatsugi
Series: AMAST series in computing. 6 Publication details: Singapore World ScientificDescription: XXI, 174 p fig 22 cmISBN:- 9810235135
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 33757 (Browse shelf(Opens below)) | Available | 0002469 |
Contine bibliogr. si index
Donatie din partea d-lui Razvan Diaconescu
There are no comments on this title.
Log in to your account to post a comment.