Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science - Andri M Van Tilborg - 書籍 - Springer - 9780792391678 - 1991年8月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

価格
¥ 29.036
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月9日 - 年10月27日
Andri M Van Tilborg の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.


316 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1991年8月31日
ISBN13 9780792391678
出版社 Springer
ページ数 316
寸法 155 × 235 × 19 mm   ·   639 g
編集者 Koob, Gary M.
編集者 Van Tilborg, Andre M.

Andri M Van Tilborgの他の作品を見る

すべて表示

同じ出版社からのその他の記事