Книги — software verification

EN
Introduction to Ada

Introduction to Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Языки программирования
RU
Введение в язык программирования Ada

Введение в язык программирования Ada

A

Raphaël Amiard, Gustavo A. Hoffmann

Языки программирования
EN
Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

A

Dana Richards, Henry Hamburger

Алгоритмы и теория