везде Расширенный поиск
книги Компьютеры и Интернет Устройство компьютера, “железо”

Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Computer Aided Verification

Код 1478198

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Computer Aided Verification"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series. Extended versions of selected papers are regularly published as...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1332-2474-2
Объём: 64 страниц
Масса: 117 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Победи свой страх. Как избавиться от негативных установок и добиться успеха
Победи свой страх. Как избавиться от негативных... бумажная книга
Мэнди Холгейт
Нет в продаже
Компьютерная томография в диагностике заболеваний кишечника
Компьютерная томография в диагностике... бумажная книга
В. М. Китаев
Нет в продаже
Пищеблок
Пищеблок бумажная книга
Алексей Викторович...
Нет в продаже
-15%
Python для финансистов
Python для финансистов бумажная книга
Ив Хилпиш
22.63 USD 19.23 USD
В корзину
Журавлиные перья. Японские народные сказки (Отражения)
Журавлиные перья. Японские народные сказки... бумажная книга
Нет в продаже
Кристин, дочь Лавранса
Кристин, дочь Лавранса бумажная книга
Сигрит Унсет
15.25 USD
В корзину

Просмотренные товары

-17%
Великолепная Прага. Город золотого волшебства
Великолепная Прага. Город золотого волшебства бумажная книга
10.65 USD 8.84 USD
В корзину