Verifying Concurrent Processes Using Temporal Logic

Författare
B.T Hailpern
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
1982 Utgivningsland okänt / Ej specificerat