Logics of Specification Languages
著者 Dines Bjørner, Martin C. Henson
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
出版社: | Springer |
発売日: | 07-Dec-2007 |
ISBN: | 3540741062 |
ISBN13: | 9783540741060 |
形式: | Hardback |
重量: | 1350 gms |
書誌情報: | pp. 652, Illus. |
書籍タイトル "Logics of Specification Languages 1st Edition" 著者 Dines Bjørner. こちらの書籍が発行された年 2008. 書籍ISBN番号 3540741062|9783540741060 このタイトルは Hardback バージョンに割り当てられます 書籍の総ページ数 pp. xxii + 624 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98423 冊の素晴らしい書籍がございます