Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.]
Language: eng - inglesa.Country: Germany.Publication: Berlim [etc.] : Springer, cop. 2001Description: XII, 190 p. : il. ; 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 68675 (Browse shelf) | 1 | Checked out | 2024-11-11 | 0053161 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala azul/Piso 2 , Collection code: Não Ficção Close shelf browser
| QA76.76.SYM FCT 67453 Computational logic | QA76.76.SYS FCT 55384 Systems and software verification | QA76.76.SYS FCT 68674 Systems and software verification | QA76.76.SYS FCT 68675 Systems and software verification | QA76.76.SZY FCT 37325 Component software | QA76.76.SZY FCT 46390 Component software | QA76.76.SZY FCT 53832 Component software |
Colocação: Sala azul/Piso 2
Adquirido CDB
There are no comments for this item.