Program verification : fundamental issues in computer science / Timothy R. Colburn, James H. Fetzer, Terry L. Rankin
Publication: Dordrecht : Kluwer Academic Publishers, 1993Description: XIII, 457 p. : il. ; 23 cmISBN: 0-7923-1965-6.Series: Studies in Cognitive Systems / James H. Fetzer, 14Subject - Topical Name: Computadores em geral | Verificação | Conceito cognitivoItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | COL. 681.31 (Browse shelf) | Available | 1006692 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
COL. 663 Manual del fabricante de papel | COL. 663 Food packaging technology | COL. 681.2Met Mediciones en Ingeniería | COL. 681.31 Program verification | COL. 681.5 Automatique et informatique industrielle | COM. 004.7 Computer networks and internets | COM. 004.7 Computer networks and internets |
There are no comments for this item.