2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Automated Technology for Verification and Analysis, 5 conf., ATVA 2007
Автор:
Kedar Namjoshi
, Автор:
Tomohiro Yoneda
, Автор:
Teruo Higashino
, Автор:
Yoshio Okamura
Категория:
CsLn_
Размер книги: 6.10 Mb
Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Автор:
Kenji Suzuki
, Автор:
Teruo Higashino
, Автор:
Keiichi Yasumoto
, Автор:
Khaled El-Fakih
Размер книги: 5.66 Mb
Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo,
Автор:
Kenji Suzuki
, Автор:
Teruo Higashino
, Автор:
Andreas Ulrich
, Автор:
Toru Hasegawa
Размер книги: 6.73 Mb
