Популярное

Боевая фантастика Детективы ЛитРПГ Любовное фэнтези Попаданцы

Jean-Louis Boulanger 4 кн.

Сортировка: по дате по названию по году по скачиваниям ↓
Safety of Computer Architectures
Safety of Computer Architectures
Jean-Louis Boulanger
Formal Methods. Industrial Use from Model to the Code
Formal Methods. Industrial Use from Model to the C...
Jean-Louis Boulanger
Industrial Use of Formal Methods. Formal Verification
Industrial Use of Formal Methods. Formal Verificat...
Jean-Louis Boulanger
Static Analysis of Software. The Abstract Interpretation
Static Analysis of Software. The Abstract Interpre...
Jean-Louis Boulanger