Static Analysis of Software. The Abstract Interpretation; John Wiley & Sons Limited

Где купить

Цены

Последняя известная цена от 515 р. до 515 р. в 1 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов
Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку
Промокоды на скидку
Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис
Промокоды на скидку
24shop - это возможность приобрести все необходимое в одном месте
Домотехника
5/5
Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время
Заказ от 800 рублей мы привезем бесплатно!
Яндекс.Маркет
5/5
Промокоды на скидку

Описание

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called «abstract interpretation» currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

Смотри также о книге.

О книге


ПараметрЗначение
Автор(ы)
ИздательJohn Wiley & Sons Limited
ISBN978-1-118-60284-3


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Программирование John Wiley & Sons Limited

Категория 412 р. - 618 р.

закладки (0) сравнение (0)

34 ms