Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Kokichi Futatsugi | lit.salon

Author

Kokichi Futatsugi

4 works

1998–2004 across 3 dated works

No biography is available yet.

Start with

Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)1998
With Razvan Diaconescu
Cafe: an industrial-strength algebraic formal method2000
Software Security - Theories and Systems Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6 20032004
With Fumio Mizoguchi, Naoki Yonezaki

Books

3 works

Featured (3)Featured (3)All (4)All (4)

Search booksSort books

Cafe: an industrial-strength algebraic formal method2000
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing, Vol 6)1998
With Razvan Diaconescu
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Software Security - Theories and Systems Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6 20032004
With Fumio Mizoguchi, Naoki Yonezaki
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Kokichi Futatsugi.

The conversation is still open.

There is no public salon activity to show for Kokichi Futatsugi yet.