Отображение
1 - 2
результаты of
2
для поиска '
Ur, Shmuel
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
Ur, Shmuel
Отображение
1 - 2
результаты of
2
для поиска '
Ur, Shmuel
'
, время запроса: 0.01сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
по
Ur
,
Shmuel
Опубликовано в:
Springer e-books
(2006)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
2
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
по
Bin, Eyal
Опубликовано в:
Springer e-books
(2007)
Другие авторы:
“
...
Ur
,
Shmuel
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
Инструменты поиска:
RSS-поток
Связанные темы
Computer Science
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering
Software engineering
Загрузка...