Validation of Stochastic Systems: A Guide to Current Researc

工程

Validation of Stochastic Systems: A Guide to Current Researc

by: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Print length: 467

Publication date: 2004-10-05

ISBN-10: 3540222650

ISBN-13: 9783540222651

代发服务PDF电子书10立即求助