Bücher — software verification

RU
Programmiersprachen: Ein Studienführer. Standard der dritten Generation

Programmiersprachen: Ein Studienführer. Standard der dritten Generation

A

Тюгашев А.

Programmiersprachen
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