Georg WeissenbacherBooksDigitaltechnik - eine praxisnahe Einfu hrungComputer Aided VerificationAuthor data: Open Library