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 оценок |
| Формат: | Книга |
| Уже скачали: | 12832 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
First Life (Life on Earth) pdf 15,18Мб
название: First Life (Life on Earth) автор: Diagram Groupгод: December 2003издатель : Facts on Fileформат: pdf страниц: 113language: EnglishReading level: Ages 9-12ISBN-13: 978-0816050468 размер : 15, . . .
-
Технология продукции общественного питания. Том 2. Технология блюд, закусок, напитков, мучных кулинарных, кондитерских и булочных изделий.
Название: Технология продукции общественного питания. Том 2. Технология блюд, закусок, напитков, мучных кулинарных, кондитерских и булочных изделий Автор: Ратушный Д.С., Баранов Б.Д., Ковалев Н.И.; р . . .
-
Готовим руку к письму. Дошкольная мозаика. 3-4 года pdf 10,44Мб
Автор: О. Н. ЗемцоваНазвание: Готовим руку к письмуСерия: Дошкольная мозаика. 3-4 года.Издательство: МахаонISBN: 978-5-389-00455-9Год: 2009Страниц: 36Формат: pdfРазмер: 10,44 МбЯзык: русскийДля сайта: . . .
-
Диетическое питание в столовых. Сборник рецептур и технология приготовления блюд.
Название: Диетическое питание в столовых. Сборник рецептур и технология приготовления блюд Автор: Ставицкая Н. (ред.) Издательство: Экономика Год издания: 1971 Страниц: 305 Язык: Русский Формат: PDF . . .
-
Мотострелковая (танковая) рота в бою.
Название: Мотострелковая (танковая) рота в бою Автор: Моисеенко Н.П., Уделов В.П., Скрипченко В.А.; редактор - Носков А.С. Издательство: Воениздат Год издания: 1988 Страниц: 287 Язык: Русский Формат . . .
-
The First Humans (Life on Earth) pdf 12,25Мб
название: The First Humans (Life on Earth)год: December 2003издатель : Facts on Fileформат: pdf страниц: 113language: EnglishReading level: Ages 9-12ISBN-13: 978-0816050505 размер : 12,25 mbИллюстриро . . .
-
Для умелых рук. Модель яхты djvu 1,2Мб
Название: Для умелых рук. Модель яхтыАвтор: Редактор А.СтахурскийИздательство: Центральная станция юных техников им.Н.М.Шверника Год издания: 1956 Страниц: 6Формат: DJVUРазмер: 1,2 МБКачество: Отличн . . .
-
Противовоздушный бой.
Название: Противовоздушный бой Автор: Неупокоев В.Ф. Издательство: Воениздат Год издания: 1989 Страниц: 270 Язык: Русский Формат: DjVu Размер: 10 МбОписание: В книге рассматриваются вопросы организа . . .
-
НЕсерьезные уроки. Учимся считать iso 53Мб
Автор: КоллективНазвание: НЕсерьезные уроки. Учимся считатьИздательство: НЕсерьезные урокиГод: 2007Страниц: 56Формат: isoЯзык: русскийРазмер: 53 МбУчимся считать - сборник игр, развивающих математичес . . .
-
Тетради по развитию. Серии: "Математика", "Умный малыш" для 4-6 лет pdf 92Мб
Название: Тетради по развитию. Серии: "Математика", "Умный малыш" для 4-6 летАвтор: Бурдина С.В.Издательство: Бурдина С.В.Год: 2008Формат: PDFРазмер: 92 MбСерия "Умный малыш": "Найди, что не подходит" . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Static Analysis of Software. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.