吉岡 信和

kichioka/yoshioka­ nobukazu
titleISBN-13
(ISBN-10)
year of publication
SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証
SPINni­yorusekkeimoderukenshou―mo­derukensanojissensofutoueakenshou
978-4-7649-O354-8
(4-7649-O354-7)
2008

A Eis · A. Esau · A. Esch · A. Eske

吉沢 章