10 libri per 10 euro qui
Bookbot

Robert Laurence Baber Ordine dei libri

    Fehlerfreie Programmierung für den Software-Zauberlehrling
    Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit