Bücher — software verification

EN
Einführung in Ada

Einführung in Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Programmiersprachen
RU
Einführung in die Programmiersprache Ada

Einführung in die Programmiersprache Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Programmiersprachen
EN
Logik und Sprachmodelle für die Informatik

Logik und Sprachmodelle für die Informatik

A

Dana Richards, Henry Hamburger

Algorithmen und Theorie