Formal methods for industrial applications : specifying and programming the steam boiler control

Författare
Jean-Raymond Abrial
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
1996 Utgivningsland okänt / Ej specificerat