Uta Priss
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science Uta Priss 2002 edition

Name: Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science
Price: 8541 JPY
Availability: OutOfStock
Author: Uta Priss

価格

¥ 8.541

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月26日 - 年11月5日

Uta Priss の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science

Uta Priss

2002 edition

The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies.

222 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2002年7月10日
ISBN13	9783540439134
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	222
寸法	155 × 235 × 12 mm · 331 g
言語	ドイツ語
編集者	Hermanns, Holger
編集者	Segala, Roberto