3 Ebooks bởi Kokichi Futatsugi
Razvan Diaconescu & Kokichi Futatsugi: CAFEOBJ REPORT, THE LANGUAGE, … (V6)
Cafe OBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent …
PDF
Anh
DRM
€64.99
Kokichi Futatsugi & Jean-Pierre Jouannaud: Algebra, Meaning, and Computation
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about …
PDF
Anh
DRM
€113.37
Kokichi Futatsugi & Fumio Mizoguchi: Software Security – Theories and Systems
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, …
PDF
Anh
DRM
€56.20
