K. Futatsugi's Documents

K. Futatsugi's Documents

CAFE: An Industrial Strength Algebraic Formal Method

CAFE: An Industrial Strength Algebraic Formal Method
Read more
Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings

Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
Read more
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Read more
Algebra, meaning and computation. Essays dedicated to J.A. Goguen

Algebra, meaning and computation. Essays dedicated to J.A. Goguen
Read more
Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Read more
Theoretical Computer Science and General Issues)

Theoretical Computer Science and General Issues)
Read more
Masters of Horror- Damned if You Don't- Self-Help Horror

Masters of Horror- Damned if You Don't- Self-Help Horror
Read more
Masters of Horror - Self-Help Horror

Masters of Horror - Self-Help Horror
Read more
The Domestic

The Domestic
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
A Hopeless Case

A Hopeless Case
Read more
Time in Science and Life: The greatest legacy of Albert Einstein

Time in Science and Life: The greatest legacy of Albert Einstein
Read more
Uses of Metals and Metallic Minerals

Uses of Metals and Metallic Minerals
Read more
The Revenge of Kali Ra

The Revenge of Kali Ra
Read more
World Tourism Today

World Tourism Today
Read more
Cold Smoked

Cold Smoked
Read more
Fats in Food Technology (Sheffield Food Technology)

Fats in Food Technology (Sheffield Food Technology)
Read more
Complex manifolds and deformation of complex structures

Complex manifolds and deformation of complex structures
Read more
Faking Literature

Faking Literature
Read more
Introducing English Grammar

Introducing English Grammar
Read more
Cold Smoked

Cold Smoked
Read more
Faking Literature

Faking Literature
Read more
Cold Smoked

Cold Smoked
Read more
Lectures on low-dimensional topology

Lectures on low-dimensional topology
Read more
Advances in Carpet manufacture

Advances in Carpet manufacture
Read more
Tourism and Travel Industry

Tourism and Travel Industry
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)

Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)
Read more
Neutron physics

Neutron physics
Read more
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Read more