Mendeley出力
＜図書＞
Introduction to the formal design of real-time systems
| 責任表示 | David Gray |
|---|---|
| シリーズ | Applied computing |
| データ種別 | 図書 |
| 出版情報 | London ; New York : Springer , c1999 |
| 本文言語 | 英語 |
| 大きさ | xiii, 461 p. : ill. ; 24 cm |
| 概要 | The design of concurrent & real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in or...er to design things correctly it is necessary to thoroughly understand the design as it evolves from problem definition through to solution validation &, though the simplest way to maintain such an understanding is from within a formal mathematical framework, this will only be effective if the framework is simple to understand & easy to use. This book is based on courses given to undergraduate & masters students in Electrical Engineering, Information Technology & Computer Science, & backed by copious worked examples. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: pbk. | 理系図1F 開架 | 007.64/G 79 | 1999 |
|
031212008500402 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. [451]-454) and index |
|---|---|
| 著者標目 | *Gray, David, 1946- |
| 件 名 | LCSH:Real-time data processing LCSH:System design |
| 分 類 | LCC:QA76.54 DC21:005.2/73 |
| 書誌ID | 1001185567 |
| ISBN | 3540761403 |
| NCID | BA40281215 |
| 巻冊次 | : pbk. ; ISBN:3540761403 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |