K

Kokichi Futatsugi

4 books found

Books by Kokichi Futatsugi
CafeKokichi Futatsugi
⏱ 3h 14m

Cafe

Kokichi Futatsugi

2000194 pp.
CafeOBJ reportRazvan Diaconescu
⏱ 2h 54m

CafeOBJ report

Razvan Diaconescu

1998174 pp.
Software Security - Theories and SystemsKokichi Futatsugi
⏱ 6h 0m

Software Security - Theories and Systems

Kokichi Futatsugi

2004360 pp.
Algebra, meaning, and computationJoseph Goguen
⏱ 10h 43m

Algebra, meaning, and computation

Joseph Goguen

2006643 pp.