Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition

Name: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Lecture Notes in Computer Science
Price: 8921 JPY
Availability: OutOfStock

価格

¥ 8.921

税抜

遠隔倉庫からの取り寄せ

発送予定日年9月18日 - 年9月30日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings - Lecture Notes in Computer Science

1st ed. 2017 edition

The conference focuses on all areas related to formal engineering methods, such as veri?cation and validation, software engineering, formal speci?cation and modeling, software security, and software reliability.

498 pages, 134 Illustrations, black and white; XVII, 498 p. 134 illus.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2017年10月14日
ISBN13	9783319686899
出版社	Springer International Publishing AG
ページ数	498
寸法	150 × 220 × 10 mm · 7,72 kg
言語	ドイツ語
編集者	Duan, Zhenhua
編集者	Ong, Luke