Static Analysis of Software
Автор: Jean-Louis Boulanger
Название: Static Analysis of Software
Издательство: Wiley
ISBN : 978-1-84821-320-3
Год: 2011
Количество страниц: 340
Формат: PDF
Размер: 24 Mb
Язык: English
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.
turbobit.net
depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12831 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Сборник заданий для проведения письменного экзамена по алгебре за курс основной школы. 9 класс. Кузнецова, Бунимович, 2008
Название: Сборник заданий для проведения письменного экзамена по алгебре за курс основной школы. 9 класс. Автор: Кузнецова Л.В., Бунимович Е.А. 2008. Данный сборник состоит из двух . . .
-
Сборник заданий для проведения письменного экзамена по алгебре за курс основной школы, 9 класс, Кузнецова Л.В., Бунимович Е.А., Пигарев Б.П., Суворова С.Б., 2008
Сборник заданий для проведения письменного экзамена по алгебре за курс основной школы, 9 класс, Кузнецова Л.В., Бунимович Е.А., Пигарев Б.П., Суворова С.Б., 2008. Данный сборник состоит из двух . . .
-
Сборник заданий для проведения письменного экзамена по алгебре за курс основной школы, 9 класс, Кузнецова Л.В., Бунимович Е.А., 2008
Сборник заданий для проведения письменного экзамена по алгебре за курс основной школы, 9 класс, Кузнецова Л.В., Бунимович Е.А., 2008. Данный сборник состоит из двух разделов. Первый . . .
-
Решебник, математика, 9 класс, подготовка к государственной итоговой аттестации 2015, учебно-методическое пособие, Лысенко Ф.Ф., Кулабухова С.Ю., 2014
Решебник, математика, 9 класс, подготовка к государственной итоговой аттестации 2015, учебно-методическое пособие, Лысенко Ф.Ф., Кулабухова С.Ю., 2014. Решебник предназначен для самостоятельной или ко . . .
-
Подготовка к ГИА 2013 по математике, 9 класс, Лысенко Ф.Ф., Кулабухов С.Ю., 2012
Математика, 9 класс, Подготовка к ГИА 2013, Лысенко Ф.Ф., Кулабухов С.Ю., 2012. В настоящее время государственная итоговая аттестация в новой форме проводится во всех регионах Росси . . .
-
ОГЭ (ГИА-9), математика, основной государственный экзамен, теория вероятностей и элементы статистики, Рязановский А.Р., Мухин Д.Г., 2015
ОГЭ (ГИА-9), математика, основной государственный экзамен, теория вероятностей и элементы статистики, Рязановский А.Р., Мухин Д.Г., 2015. В предлагаемой книге, состоящей из двух частей, подробно рассм . . .
-
Решебник. Математика. 9 класс. Подготовка к ГИА-2012. Лысенко Ф.Ф., Кулабухов С.Ю.
Название: Решебник. Математика. 9 класс. Подготовка к ГИА-2012. Автор: Лысенко Ф.Ф., Кулабухов С.Ю. 2012 В настоящее время ГИА-9 в новой форме проводится во всех регионах Росс . . .
-
Решение экзаменационных задач по алгебре за 9 класс - Кузнецова Л.В., Бунимович Е.А., Пигарев Б.П., Суворова С.Б.
Название: Решение экзаменационных задач по алгебре за 9 класс. Автор: Кузнецова Л.В., Бунимович Е.А., Пигарев Б.П., Суворова С.Б. Сборник заданий для проведения письменного экзамена по алгебре за курс . . .
-
Самостоятельные и контрольные работы по алгебре и геометрии. 9 класс. Ершова А.П., Голобородько В.В., Ершова А.С. 2008
Название: Самостоятельные и контрольные работы по алгебре и геометрии. 9 класс. Автор: Ершова А.П., Голобородько В.В., Ершова А.С. 2008 Пособие содержит самостоятельные и контрольные рабо . . .
-
Решебник, Математика, 9 класс, Подготовка к ГИА 2013, Лысенко Ф.Ф., Кулабухов С.Ю., 2012
Решебник, Математика, 9 класс, Подготовка к ГИА 2013, Лысенко Ф.Ф., Кулабухов С.Ю., 2012. Решебник предназначен для самостоятельной или коллективной подготовки учащихся к государств . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Static Analysis of Software. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.