Отображение
1 - 3
результаты of
3
для поиска '
de Boer, Frank S.
'
Пропуск в контексте
Язык
English
Русский
123
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Найти
Расширенный поиск
Автор
de Boer, Frank S.
Отображение
1 - 3
результаты of
3
для поиска '
de Boer, Frank S.
'
, время запроса: 0.01сек.
Отмена результатов
Сортировка
Релевантность
Дата по убыванию
Дата по возрастанию
Шифр
Автор
Заглавие
1
Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
по
de
Boer
,
Frank
S.
Опубликовано в:
Springer e-books
(2006)
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
2
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Опубликовано в:
Springer eBooks
(2015)
Другие авторы:
“
...
de
Boer
,
Frank
...
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
3
Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
по
Bonsangue, Marcello M.
Опубликовано в:
Springer e-books
(2005)
Другие авторы:
“
...
de
Boer
,
Frank
S....
”
Шифр:
Загрузка...
Местонахождение:
Загрузка...
Полный текст
Электронная книга
Инструменты поиска:
RSS-поток
Связанные темы
Computer Science
Logics and Meanings of Programs
Software Engineering
Software engineering
Logic design
Operating Systems
Operating systems (Computers)
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
Computer logic
Management information systems
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Mathematical logic
computers
Загрузка...