Formal hardware verificationde Thomas Kropf, Gerhard Goos, Juris HartmanisMateriasVery large scale integrationFormal methods (Computer science)Computer-aided designVerificationIntegrated circuitsIntegrated circuits, very large scale integrationComputer input-output equipmentFormal languages
KKommunikative Funktionen des Dialekts im UnterrichtKommunikative Funktionen des Dialekts im Unterricht