Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - 書籍 - Birkhauser - 9781468468212 - 2012年2月25日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

価格
A$ 84,99
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月23日 - 2026年1月2日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

116 pages, black & white illustrations, bibliography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年2月25日
ISBN13 9781468468212
出版社 Birkhauser
ページ数 116
寸法 156 × 234 × 7 mm   ·   185 g
言語 英語