Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 1996年11月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

S Merz
Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science

価格
¥ 8.900
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月10日 - 年6月22日

お客様の声：

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

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.

566 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年11月6日
ISBN13 9783540619840
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 566
寸法 234 × 156 × 29 mm   ·   789 g
言語 ドイツ語  
編集者 Broy, Manfred
編集者 Merz, Stephan
編集者 Spies, Katharina

Mere med samme udgiver

S Merzのすべてを見る ( 例： Paperback Book )