Kokichi Futatsugi
Identifiers
- Open LibraryOL3266930A
Top Subjects
- Algebra, data processing (1)
Books by Kokichi Futatsugi
Total count: 3
-
Cafeobj ReportThe Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic SpecificationWorld Scientific Publishing Co Pte Ltd1998-01-01
-
Software Security - Theories and SystemsSecond Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6 2003Springer London, Limited2004-01-01
-
Algebra, Meaning, and ComputationEssays Dedicated to Joseph A. Goguen on the Occasion of His 65th BirthdaySpringer London, Limited2006-01-01