Futatsugi, Kokichi.
Futatsugi, K.
Futatsugi, K. (Kokichi)
VIAF ID: 42535233 ( Personal )
Permalink: http://viaf.org/viaf/42535233
Preferred Forms
- 100 1 _ ‡a Futatsugi, K.
-
-
- 100 1 _ ‡a Futatsugi, Kokichi
-
- 100 1 _ ‡a Futatsugi, Kokichi
- 100 1 _ ‡a Futatsugi, Kokichi
-
-
-
-
-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (3)
- 510 2 _ ‡a Hokuriku-Sentan-Kagaku-Gijutsu-Daigakuin-Daigaku
- 510 2 _ ‡a Hokuriku-Sentan-Kagaku-Gijutsu-Daigakuin-Daigaku ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Nihon-sofutowea-kagakkai
Works
Title | Sources |
---|---|
Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday | |
Analysis of membership sharing in digital subscription services | |
Cafe, 2000: | |
Cafe : an industrial-strength algebraic formal method | |
CafeOBJ report, 1998: | |
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification | |
ISOTAS'96 | |
ISSS 2003 | |
Object technologies for advanced software / Kokichi Futatsugi, Satoshi Matsuoka (eds.). - Berlin, 1996. | |
Object technologies for advanced software : second JSSST international symposium, ISOTAS'96, Kanazawa, Japan, March 11-15, 1996 : proceedings | |
Software security : theories and systems : Second Mext-NSF-JSPS international symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers | |
Specification, algebra, and software essays dedicated to Kokichi Futatsugi |