Formal Methods for Hardware Verification

Formal Methods for Hardware Verification

Formal Methods for Hardware Verification
2006ISBN 9783540343042
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra