Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
著者 Hans Langmaack
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 07-Sep-1994 |
| ISBN: | 3540584684 |
| ISBN13: | 9783540584681 |
| 形式: | Paperback |
| 重量: | 916 gms |
| 書誌情報: | pp. 812, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
書籍タイトル "Formal Techniques in Real-Time and Fault-Tolerant Systems " 著者 Hans Langmaack. こちらの書籍が発行された年 1994. 書籍ＩＳＢＮ番号 3540584684|9783540584681 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. xiv + 787 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98376 冊の素晴らしい書籍がございます