Войти
Нет соединения — показаны сохранённые данные

An introduction to formal program verification

An introduction to formal program verification

Ali Mili

Войти и добавить на полку

Назад на полку

Похожие книги

Software development
Software development
Wolfgang End
 Computer software
Computer software
Carr, Henry.
 Unauthorized Windows 95
Unauthorized Windows 95
Andrew Schulman
 Algorithms
Algorithms
Uspenskiĭ, V. A.
 Programming challenges
Programming challenges
Steven S. Skiena
 Microcomputer Applications
Microcomputer Applications
Dennis L. Foster