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

Av Keijiro Araki, Andy Galloway m. fl

Häftad, Engelska, 1999

1 449 kr

Skickas inom 10-15 vardagar

RIMS Symposium on Software Science and Engineering II

Proceedings of the Symposia 1983 and 1984, Kyoto, Japan

Av Eiichi Goto, Keijiro Araki m. fl

Häftad, Engelska, 1986

729 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2004

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

Av Zhiming Liu, Keijiro Araki

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar

FME 2003: Formal Methods

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

Av Keijiro Araki, Stefania Gnesi m. fl

Häftad, Engelska, 2003

1 449 kr

Skickas inom 10-15 vardagar

High Performance Computing

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

Av Constantine Polychronopoulos, Kazuki Joe m. fl

Häftad, Engelska, 1997

709 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

Av Shaoying Liu, Tom Maibaum m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar