Program verification

Författare
Nissim Francez
Språk
Engelska
Förlag År Ort Om boken ISBN
Addison-Wesley cop. 1992 Storbritannien, Wokingham 312 sidor. : ill. 0-201-41608-5