Berry G., Comon H., Finkel A. — Computer Aided Verification, 13 conf., CAV 2001 :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Berry G., Comon H., Finkel A. — Computer Aided Verification, 13 conf., CAV 2001

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Computer Aided Verification, 13 conf., CAV 2001

Авторы: Berry G., Comon H., Finkel A.

Аннотация:

Proceedings of the 13th International Conference, CAV 2001, held in Paris, France, July 18-22,2001. Offers topical sections on model checking and theorem proving automata techniques, verification core technology, and timed automata. Softcover.

Язык:

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2001

Количество страниц: 532

Добавлена в каталог: 30.01.2016

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

О проекте