Software-Abstractions-Logic-Language-and-Analysis-Mit-Press 32,48 EUR*