Results for Keijiro Araki

ISBN.nu

search for books and compare prices

Keijiro Araki has written 5 work(s)

Search for other authors with the same name

displaying 1 to 5 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods Icfem 2008, Kitakyushu-city, Japan, October 27-31, 2008, Proceedings

Product Description: Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability...read more

By Keijiro Araki (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540881933 | Springer-Verlag New York Inc, November 1, 2008, cover price $119.00 | About this edition: Formal engineering methods are intended to o?

Theoretical Aspects of Computing--ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004

Product Description: This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement...read more

By Keijiro Araki (editor) and Zhiming Liu (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540253044 | Springer Verlag, May 31, 2005, cover price $149.00 | About this edition: This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004.

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

By Keijiro Araki, Stefania Gnesi, International Symposium of Formal Methods Europe 2003 (other contributor) and Dino Mandrioli

See complete details on each edition (1 edition listed)

Paperback:

9783540408284 | Springer-Verlag New York Inc, October 1, 2003, cover price $179.00

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

Product Description: Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system...read more

By Keijiro Araki (editor), Andy Galloway (editor) and Kenji Taguchi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9781852331078 | Springer Verlag, June 1, 1999, cover price $129.00 | About this edition: Formal methods have been established as the rigorous engineering methodology for the system development.

Rims Symposia on Software Science and Engineering II

By Keijiro Araki, Eiichi Goto and Taiichi Yuasa (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387164700 | Springer Verlag, May 1, 1986, cover price $62.95

displaying 1 to 5 | at end