Introduction to formal hardware verification [ Livre] / Thomas, Kropf

Auteur principal: Kropf, ThomasLangue: 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

Powered by Koha