Reihe Springers Angewandte InformatikGerald Futschek × Programmentwicklung und Verifikation Gerald FutschekSpringer WieneBook201333,26 € Programmentwicklung und Verifikation Gerald FutschekSpringer WienSoftcover198969,99 €