Yazar
Kokichi Futatsugi
4 cilt bulundu.
Cilt sonuçları
Cafe
Kokichi Futatsugi · Elsevier Science
194 sayfa · 2000
Formal methods (Computer science) / Congresses / Algebraic logic
CafeOBJ report
Razvan Diaconescu, Kokichi Futatsugi · World Scientific Publishing Co Pte Ltd
174 sayfa · 1998
Réécriture / Théorie démonstration / Spécification algébrique / CafeOBJ / Object-oriented methods (computer science)
Algebra, meaning, and computation
Joseph Goguen, Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer · Springer London, Limited
643 sayfa · 2006
Congresses / Data processing / Algebra / Algebra, data processing
Software Security - Theories and Systems
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki · Springer London, Limited
360 sayfa · 2004
Kategori yok