Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science - L De Alfaro - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540425564 - 2001年8月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

L De Alfaro
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science 2001 edition

価格
¥ 8.573
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月22日 - 年11月3日
L De Alfaro の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.

224 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2001年8月29日
ISBN13 9783540425564
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 224
寸法 155 × 235 × 12 mm   ·   335 g
言語 ドイツ語  
編集者 Alfaro, Luca de
編集者 Gilmore, Stephen

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

L De Alfaroのすべてを見る