Keijiro Araki – författare

Visar alla böcker från författaren .

6 produkter

Kategorier

6 produkter

IFM’99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
AvKeijiro Araki,Andy Gallowaym. 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
AvEiichi Goto,Keijiro Arakim. 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
AvZhiming 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
AvKeijiro Araki,Stefania Gnesim. 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
AvConstantine Polychronopoulos,Kazuki Joem. fl.
Häftad, Engelska, 1997
729 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 Maibaumm. fl.
Häftad, Engelska, 2008
729 kr
Skickas inom 10-15 vardagar