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

The SPIN verification system

The SPIN verification system

Workshop on the SPIN Verification System (2nd 1996 Rutgers University)

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

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

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

Kingdom of Lies
Kingdom of Lies
N. Lee Wood
 Information systems
Information systems
Computer and Information Sciences Symposium Miami Beach, Fla. 1972.
 Nephrology
Nephrology
International Congress of Nephrology (9th 1984 Los Angeles, Calif.)
 Present at the creation
Present at the creation
Armand Clesse
 Solid state ionics
Solid state ionics
B. V. R. Chowdari
 Cladistics
Cladistics
Workshop on the Theory and Application of Cladistic Methodology (1981 University of California, Berkeley)