Introduction to formal hardware verification [ Livre] / Thomas, Kropf
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Berlin : Springer Verlag, 1999Description : IX-299 pagesISBN: 3540654453.Classification: F Informatique théoriqueSujet - Nom commun: Informatique -- Mathématiques | Architecture des ordinateurs | Tolérance aux fautes (informatique)Current location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F KRO (Browse shelf) | Available | F Informatique théorique | 00003506 |