Buy Used and New KeijiroAraki Books

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science)

by Keijiro Araki, Stefania Gnesi, Dion Mandrioli

ISBN 13: 9783540408284

Format: Paperback (964 pages)
Publisher: Springer
Published: 27 Aug 2003

Save for later

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers: 3407 (Lecture Notes in Computer Science)

by Keijiro Araki, Zhiming Liu

ISBN 13: 9783540253044

Format: Paperback (584 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

IFM '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

by Keijiro Araki

ISBN 13: 9781852331078

Format: Paperback (496 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1999

Save for later