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

NASA Formal Methods

NASA Formal Methods

Julia M. Badger

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

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

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

Optimization
Optimization
French-German Conference on Optimization (5th 1988 Varetz, France)
 Conversational agents and natural language interaction
Conversational agents and natural language interaction
Diana Perez-Marin
 Psychopharmacology
Psychopharmacology
Susan D. Iversen
 The Renaissance
The Renaissance
Symposium on the Renaissance (1959 University of Wisconsin--Milwaukee)
 Prenzlauer Berg
Prenzlauer Berg
Philip Brady
 Beyond tomorrow
Beyond tomorrow
Rockefeller University