В Интернете есть все, надо только уметь найти . Это утверждение не столь уж далеко от истины. Многое же не только есть, но и при этом бесплатно. Проще говоря, Интернет полон халявы .

Перед вами новое, переработанное издание книги о компьютерах, пользующейся популярностью уже более 12 лет. Подробно и наглядно описаны все этапы общения с современным компьютером: от выбора и покупки до работы в Интернете и подключения мобильных устройств.

В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.