Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.]
Language: eng - inglesa.Country: Germany.Publication: Berlin [etc.] : Springer, cop. 2001Description: XII, 190 p. ; 24 cmISBN: 3-540-41523-8.Subject - Topical Name: Sistema informático -- Verificação | Software -- Verificação| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Sala azul/Piso 2 | Não Ficção | QA76.76.SYS FCT 55384 (Browse shelf) | 1 | Available | 0037132 |
Adquirido SID-BG
There are no comments for this item.