
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 11 de agosto de 2004 |
ISBN13 | 9783540222651 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 472 |
Dimensões | 155 × 235 × 24 mm · 666 g |
Idioma | German |
Editor | Baier, Christel |
Editor | Haverkort, Boudewijn R. |
Editor | Hermanns, Holger |
Editor | Katoen, Joost-Pieter |
Editor | Siegle, Markus |
Mostrar tudo
Mais por Christel Baier
Ver tudo de Christel Baier ( por exemplo Paperback Book e Hardcover Book )