Книги — TLA+

EN
Логика для программистов

Логика для программистов

A

Hillel Wayne

Базы данных