Z Knihobotu sa stáva Bookbot!
Bookbot

Robert Laurence Baber Knihy

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