Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7635) / Herausgegeben von Aoki, Toshiaki/ Taguchi, Kenji

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7635) （2012. 2012. 500 S. 235 mm）

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7635) （2012. 2012. 500 S. 235 mm）

Herausgegeben von Aoki, Toshiaki/ Taguchi, Kenji

SPRINGER, BERLIN; SPRINGER（2012発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783642342806

Full Description

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.