Cafe OBJ report The languange, proof techniques, and methodologies for object - oriented specification Razvan Diaconescu, Kokichi Futatsugi

By:

Contributor(s):

Series: AMAST series in computing. 6 Publication details: Singapore World ScientificDescription: XXI, 174 p fig 22 cmISBN:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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.

to post a comment.