Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method
著者 Eduard Cerny, Bachir Berkane, P. Girodias, K. Khordoc
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
出版社: | Springer |
発売日: | 31-Oct-1998 |
ISBN: | 079238301X |
ISBN13: | 9780792383017 |
形式: | Hardback |
重量: | 559 gms |
書誌情報: | pp. 236, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L, Index |
書籍タイトル "Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method" 著者 Eduard Cerny. こちらの書籍が発行された年 1998. 書籍ISBN番号 079238301X|9780792383017 このタイトルは Hardback バージョンに割り当てられます 書籍の総ページ数 pp. 232 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 132655 冊の素晴らしい書籍がございます