Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1982年3月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

価格
¥ 8.878
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月13日 - 2026年1月23日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

209 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1982年3月1日
ISBN13 9783540112051
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 209
寸法 155 × 233 × 11 mm   ·   312 g
言語 英語  

B. T. Hailpernのすべてを見る ( 例： Paperback Book )