Financial Cryptography: 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003, Revised Papers
Rebecca N. Wright
нояб. 2013 г. · Springer
Электронная книга
328
Количество страниц
reportОценки и отзывы не проверены. Подробнее…
Об электронной книге
This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
Оцените электронную книгу
Поделитесь с нами своим мнением.
Где читать книги
Смартфоны и планшеты
Установите приложение Google Play Книги для Android или iPad/iPhone. Оно синхронизируется с вашим аккаунтом автоматически, и вы сможете читать любимые книги онлайн и офлайн где угодно.
Ноутбуки и настольные компьютеры
Слушайте аудиокниги из Google Play в веб-браузере на компьютере.
Устройства для чтения книг
Чтобы открыть книгу на таком устройстве для чтения, как Kobo, скачайте файл и добавьте его на устройство. Подробные инструкции можно найти в Справочном центре.
