Principles of Concurrent and Distributed Programming - M. Ben-Ari - 書籍 - Pearson Education (US) - 9780321312839 - 2005年12月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

M. Ben-Ari
Principles of Concurrent and Distributed Programming 第2 版

価格
¥ 13.998
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月19日 - 年10月29日
M. Ben-Ari の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.

384 pages, illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年12月6日
ISBN13 9780321312839
出版社 Pearson Education (US)
ページ数 384
寸法 234 × 173 × 20 mm   ·   674 g
言語 英語  

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

M. Ben-Ariのすべてを見る