Validation of Stochastic Systems : A Guide to Current Research /

Zapisane w:
Opis bibliograficzny
1. autor: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (edición)
Format: Książka
Język:angielski
Wydane: Berlín, Alemania : Springer, 2004, c2004
Seria:(Lecture Notes in Computer Science)
Dostęp online:Ver documento en línea
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!