"FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings"

Författare
International Symposium of Formal Methods Europe
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
1993 Utgivningsland okänt / Ej specificerat