Kokichi Futatsugi
4 published titles
Cafe : an industrial-strength algebraic formal method
(Contributor)
1 edition
- ISBN: 0444505563
- Elsevier
- 2000
- Details
Software security - theories and systems : second MEXT-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
(Contributor)
1 edition
- ISBN: 354023635X
- Springer
- 2004
- Details
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
(Contributor)
1 edition
- ISBN: 9783540354628
- Springer
- 2006
- Details
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
(Contributor)
1 edition
- ISBN: 9783642546235
- Springer
- 2014
- Details
