Validation of Stochastic Systems : A Guide to Current Research /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (edición)
פורמט: ספר
שפה:אנגלית
יצא לאור: Berlín, Alemania : Springer, 2004, c2004
סדרה:(Lecture Notes in Computer Science)
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!