InformatikGünter Matthiessen ×De Gruyter × Logik für Software-Ingenieure Günter MatthiessenDe GruyterHardcover1991