CafeOBJ report : The language, proof techniques, and methodologies for object-oriented algebraic specification

Saved in:
Main Authors: Diaconescu, Razvan (Author), Futatsugi, Kokichi (Author)
Format: Book
Language:English
Published: Singapore : World Scientific, 1998
Subjects:
programovacie jazyky
objektovo orientované programovanie
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items