Introduction to Formal Hardware Verificationde Thomas KropfMateriasVery large scale integrationComputer-aided designVerificationIntegrated circuitsComputer input-output equipmentEdiciones (1)Introduction to Formal Hardware Verification (1999)Springer · inglés · ISBN 9783540654452Más obras de Thomas KropfFormal hardware verificationIntroduction to Formal Hardware VerificationCCorrect Hardware Design and Verification MethodsCorrect Hardware Design and Verification Methods
KKommunikative Funktionen des Dialekts im UnterrichtKommunikative Funktionen des Dialekts im Unterricht
