Computerprogrammierung und SoftwareentwicklungGerald Futschek ×Springer Wien × Programmentwicklung und Verifikation Gerald FutschekSpringer WienSoftcover1989