Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Lecture Notes in Computer Science 2019 edition

Name: Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Lecture Notes in Computer Science
Price: 8451 JPY
Availability: OutOfStock

価格

¥ 8.451

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月17日 - 年11月27日

クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

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

Trustpilotで高評価

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

まだ評価がありません

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Lecture Notes in Computer Science

2019 edition

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions.

245 pages, 53 Illustrations, color; 492 Illustrations, black and white; XVI, 245 p. 545 illus., 53 i

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2019年10月16日
ISBN13	9783030324407
出版社	Springer Nature Switzerland AG
ページ数	245
寸法	150 × 220 × 10 mm · 454 g
言語	ドイツ語
編集者	Dongol, Brijesh
編集者	Petre, Luigia
編集者	Smith, Graeme