Formal Methods Foundations and Applications -  - 書籍 - Springer Nature Switzerland AG - 9783030030438 - 2018年10月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Formal Methods Foundations and Applications 1st ed. 2018 edition

価格
¥ 10.180
税抜

遠隔倉庫からの取り寄せ

発送予定日 年4月13日 - 年4月23日
iMusicのウィッシュリストに追加

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions.


271 pages, 52 Illustrations, black and white; X, 271 p. 52 illus.

メディア 書籍     Book
リリース済み 2018年10月24日
ISBN13 9783030030438
出版社 Springer Nature Switzerland AG
ページ数 271
寸法 150 × 220 × 20 mm   ·   399 g
言語 ドイツ語  
編集者 Massoni, Tiago
編集者 Mousavi, Mohammad Reza