Knihobot

Mordechai Ben-Ari

    11. prosinec 1948
    Grundlagen der Parallelprogrammierung
    Podstawy programowania współbieżnego i rozproszonego
    Ada for Software Engineers
    Mathematical logic for computer science
    Principles of the SPIN Model Checker
    Mathematical Surprises