Hoppa till sidans huvudinnehåll

Keijiro Araki - Böcker

Visar alla böcker från författaren Keijiro Araki.
6 produkter

IFM’99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

AvKeijiro Araki,Andy Galloway m. fl.

Häftad, Engelska, 1999

1 429 kr

Skickas inom 10-15 vardagar

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

AvEiichi Goto,Keijiro Araki m. fl.

Häftad, Engelska, 1986

719 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

AvZhiming Liu,Keijiro Araki

Häftad, Engelska, 2005

1 429 kr

Skickas inom 10-15 vardagar

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

AvKeijiro Araki,Stefania Gnesi m. fl.

Häftad, Engelska, 2003

1 429 kr

Skickas inom 10-15 vardagar

High Performance Computing

International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings

AvConstantine Polychronopoulos,Kazuki Joe m. fl.

Häftad, Engelska, 1997

699 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

AvShaoying Liu,Tom Maibaum m. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar