The Temporal Logic of Reactive and Concurrent Systems Specification
著者 Zohar Manna, Amir Pnueli
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
| 出版社: | Springer |
| 発売日: | 15-Dec-1991 |
| ISBN: | 0387976647 |
| ISBN13: | 9780387976648 |
| 形式: | Hardback |
| 重量: | 921 gms |
| 書誌情報: | pp. 448, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L |
書籍タイトル "The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition" 著者 Zohar Manna. こちらの書籍が発行された年 1991. 書籍ＩＳＢＮ番号 0387976647|9780387976648 このタイトルは Hardback バージョンに割り当てられます 書籍の総ページ数 pp. xiv + 448 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 122513 冊の素晴らしい書籍がございます