CafeOBJ: Logical foundations and methodologies

Bibliographic Details
Main Authors:	Diaconescu, Răzvan (Author), Ogata, Kazuhiro (Author), Futatsugi, Kokichi (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Fotogr., sch., tab.
ISSN:	1335-9150
Subjects:	CafeOBJ (jazyk) > základy matematické stroje abstraktné jazyky špecifikačné články z novín a časopisov

Similar Items

On the logic of TLA+
by: Merz, Stephan

Foreword
by: Bjorner, Dines