- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Static Analysis of Software. The Abstract Interpretation (Jean-Louis Boulanger); John Wiley & Sons Limited
15456
Издатель: John Wiley & Sons Limited
ISBN: 9781118602843
EAN: 9781118602843
Книги: Программирование
ID: 5982900
Добавлено: 30.04.2020
Описание
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).
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Static Analysis of Software. The Abstract Interpretation (Jean-Louis Boulanger); John Wiley & Sons Limited»
По данным нашего сервиса товар предлагался к продаже в 1 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 15456 р. до 15456 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-1-118-60284-3 |
| Автор(ы) | Jean-Louis Boulanger |
| Издатель | John Wiley & Sons Limited |
Где купить (1)
Цена от 15456 руб до 15456 руб в 1 магазине
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Информационные технологии, Программирование - издательство "John Wiley & Sons Limited"
Книги: Информационные технологии, Программирование с ценой 12364-18547 р.
| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 15.08.2024 | |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома
| |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Static Analysis of Software. The Abstract Interpretation (Jean-Louis Boulanger); John Wiley & Sons Limited» можно купить с кешбеком в 1 магазине: ЛитРес
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Пункты выдачи СДЭК г. Подольск
Вы можете получить свои товары в ближайшем пункте выдачи СДЭК
Цены в соседних городах
Книги: Информационные технологии, Программирование - издательство "John Wiley & Sons Limited"
Категория 12364 р. - 18547 р.
Программирование - издательство "John Wiley & Sons Limited" »
