Kenji Taguchi – författare
Visar alla böcker från författaren Kenji Taguchi. Handla med fri frakt och snabb leverans.
4 produkter
IFM'99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Av Kenji Taguchi, Andy Galloway m. fl.
E-bok, 2012
1502 kr
Lägg i varukorg
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. For instance, complex systems (such as integrated avionics …
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, 1999
1126 kr
Lägg i varukorg
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. For instance, complex systems (such as integrated avionics …
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 …
