Отображение
1 - 2
результаты of
2
для поиска '
Logozzo, Francesco
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
Logozzo, Francesco
Отображение
1 - 2
результаты of
2
для поиска '
Logozzo, Francesco
'
, время запроса: 0.01сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
по
Logozzo
,
Francesco
Опубликовано в:
Springer eBooks
(2008)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
2
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
Опубликовано в:
Springer eBooks
(2013)
Другие авторы:
“
...
Logozzo
,
Francesco
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
Инструменты поиска:
RSS-поток
Связанные темы
Computer Science
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Mathematical Logic and Formal Languages
Programming Techniques
Загрузка...