Verification of Reactive Systems: Formal Methods and Algorithms

Författare
Klaus Schneider
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2004 Utgivningsland okänt / Ej specificerat