Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science - Josyula R. Rao - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540591733 - 1995年4月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism - Lecture Notes in Computer Science 1995 edition

価格
¥ 8.910
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月21日 - 年10月1日
Josyula R. Rao の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s as a formalism aiding in the specification and verification of parallel programs. The author develops the ideas behind UNITY in order to understand the potential and limitations of this approach.


178 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1995年4月6日
ISBN13 9783540591733
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 178
寸法 156 × 234 × 10 mm   ·   281 g
言語 英語  

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