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

Computer Aided Verification

Computer Aided Verification

Rupak Majumdar

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

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

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

Conversational agents and natural language interaction
Conversational agents and natural language interaction
Diana Perez-Marin
 Software development
Software development
Wolfgang End
 Barbarians led by Bill Gates
Barbarians led by Bill Gates
Jennifer Edstrom
 Crash
Crash
Collins, Tony
 Debugging
Debugging
David J. Agans
 Maya
Maya
Danny Riddell