Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science - Andre M Van Tilborg - 書籍 - Springer-Verlag New York Inc. - 9781461367963 - 2012年10月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Andre M Van Tilborg
Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science Softcover reprint of the original 1st ed. 1991 edition

価格
¥ 29.678
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月18日 - 年9月3日
Andre M Van Tilborg の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
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

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年10月12日
ISBN13 9781461367963
出版社 Springer-Verlag New York Inc.
ページ数 316
寸法 155 × 235 × 18 mm   ·   467 g
言語 英語  
編集者 Koob, Gary M.
編集者 Van Tilborg, Andre M.

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

すべて表示

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

Andre M Van Tilborgのすべてを見る ( 例： Paperback Book )