Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Bouajjani A., Chin Wei-Ngan — Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings Авторы: Bouajjani A., Chin Wei-Ngan Язык: Статус предметного указателя: Неизвестно ed2k: ed2k stats Издание: 1st Год издания: 2010 Количество страниц: 413 Добавлена в каталог: 19.02.2014 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте