Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Francesco Logozzo · Doron A. Peled · Leonore D. Zuck
февр. 2008 г. · Springer
Электронная книга
325
Количество страниц
reportОценки и отзывы не проверены. Подробнее…
Об электронной книге
Оцените электронную книгу
Поделитесь с нами своим мнением.
Где читать книги
Смартфоны и планшеты
Установите приложение Google Play Книги для Android или iPad/iPhone. Оно синхронизируется с вашим аккаунтом автоматически, и вы сможете читать любимые книги онлайн и офлайн где угодно.
Ноутбуки и настольные компьютеры
Слушайте аудиокниги из Google Play в веб-браузере на компьютере.
Устройства для чтения книг
Чтобы открыть книгу на таком устройстве для чтения, как Kobo, скачайте файл и добавьте его на устройство. Подробные инструкции можно найти в Справочном центре.
