Validation of Stochastic Systems
A Guide to Current Research
Lecture Notes in Computer Science Vol.2925
Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.
- 出版社：Springer, Berlin
- 出版年月：2004年 00月
- ISBN：9783540222651
- 装丁：PAP
-
装丁について
- 版次：2004. VIII
- 巻数・ページ数：467 p.
- 分類： コンピュータ一般