Compositional Verification of Concurrent and Real-Time Systems

Författare
Jeffrey J. P. Tsai
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2002 Utgivningsland okänt / Ej specificerat