
Tell your friends about this item:
Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science 2004 edition
Christel Baier
Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science 2004 edition
Christel Baier
480 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | August 11, 2004 |
ISBN13 | 9783540222651 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 472 |
Dimensions | 155 × 235 × 24 mm · 666 g |
Language | German |
Editor | Baier, Christel |
Editor | Haverkort, Boudewijn R. |
Editor | Hermanns, Holger |
Editor | Katoen, Joost-Pieter |
Editor | Siegle, Markus |
Show all
More by Christel Baier
See all of Christel Baier ( e.g. Paperback Book and Hardcover Book )