Toshiaki Aoki – författare
Visar alla böcker från författaren Toshiaki Aoki. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Av Toshiaki Aoki, Kenji Taguchi
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers …
Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Av Kenji Taguchi, Toshiaki Aoki
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers …
