Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science -  - 書籍 - Springer International Publishing AG - 9783319901039 - 2018年4月18日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Lecture Notes in Computer Science 2018 edition

価格
¥ 8.928
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月10日 - 年8月20日
iMusicのウィッシュリストに追加

まだ評価がありません

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking;


219 pages, 66 Illustrations, black and white; X, 219 p. 66 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2018年4月18日
ISBN13 9783319901039
出版社 Springer International Publishing AG
ページ数 219
寸法 156 × 233 × 15 mm   ·   358 g
言語 ドイツ語  
編集者 Duan, Zhenhua
編集者 Liu, Shaoying
編集者 Nagoya, Fumiko
編集者 Tian, Cong

同じ出版社からのその他の記事