Applications of formal methods / Michael G. Hinchey and Jonathan P. Bowen

Auteur secondaire : Hinchey, Michael Gerard (1969-) - Editeur scientifique ; Bowen, Jonathan Peter (1956-) - Editeur scientifiqueType de document: Monographie Collection: Prentice-Hall international series in computer science Langue: anglaisPays: Grande BretagneÉditeur: Hempstead : Prentice-Hall, 1995Description: 1 vol. (447 p.) : ill. ; 25 cm ISBN: 0133669491 ; rel. Bibliographie: Bibliogr. p. 421-437. Index. Sujets MSC: 68M07 Computer science -- Computer system organization -- Mathematical problems of computer architecture
68Mxx Computer science -- Computer system organization
68Nxx Computer science -- Software
68-02 Computer science -- Research exposition (monographs, survey articles)
Location Call Number Status Date Due
Salle R 11527-01 / 68 HIN (Browse Shelf) Available

Bibliogr. p. 421-437. Index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |