Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science Vol.7504) / Herausgegeben von Eleftherakis, George/ Hinchey, Mike/ Holcombe, Mike

Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science Vol.7504) （2012. XIV, 384 S. 103 SW-Abb. 235 mm）

ポイントキャンペーン

Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science Vol.7504) （2012. XIV, 384 S. 103 SW-Abb. 235 mm）

Herausgegeben von Eleftherakis, George/ Hinchey, Mike/ Holcombe, Mike

SPRINGER, BERLIN; SPRINGER（2012発売）

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

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

Full Description

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.