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

Cl?ment Hurlin

Separation Logic for Multithreaded Object-Oriented Languages. Full-Fledged Verification and Automatic Parallelization of Programs

Код 1231230

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

Нет в продаже

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

Аннотация к книге "Separation Logic for Multithreaded Object-Oriented Languages. Full-Fledged Verification and Automatic Parallelization of Programs"

Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs a la Java. First it...

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

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-8383-6316-5
Объём: 200 страниц
Масса: 325 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 2

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

Маркетинг менеджмент
Маркетинг менеджмент бумажная книга
Филип Котлер
Нет в продаже
Путешествие хирурга по телу человека
Путешествие хирурга по телу человека бумажная книга
Гевин Френсис
Нет в продаже
-13%
Жизнь без жира, или ешь после шести!
Жизнь без жира, или ешь после шести! бумажная книга
Елена Санжаровская
14.11 USD 12.27 USD
В корзину
Пастушья корона
Пастушья корона бумажная книга
Терри Пратчетт
Нет в продаже
Дилемма инноватора. Как из-за новых технологий погибают сильные компании
Дилемма инноватора. Как из-за новых технологий... бумажная книга
Клейтон Кристенсен
Нет в продаже
Путь к характеру
Путь к характеру бумажная книга
Дэвид Брукс
Нет в продаже