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 оценок |
| Формат: | Книга |
| Уже скачали: | 12827 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Тактические поучения, извлеченные японцами из последней войны
Название: Тактические поучения, извлеченные японцами из последней войныАвтор: Бу-сео-сейИздательство: С-ПетербургГод: 1912Страниц: 154Язык: русскийФормат: pdfРазмер: 67,79(+3%)МбПри беглом взгляде на . . .
-
"Дранг нах Остен" и народы Центральной, Восточной и Юго-Восточной Европы 1871-1918 гг.
В книге раскрывается суть германской политики "Дранг нах Остен" в эпоху империализма, внешнеполитические концепции кайзеровской Германии, а также курс "восточной политики" с момента образования Герман . . .
-
Библейские сказки.
Название: Библейские сказки Автор: Саша Черный Издательство: Август Год издания: 2000 Страниц: 67 Язык: Русский Формат: PDF Качество: среднее Размер: 10,1 МбОписание: Это не пересказ библейских сюже . . .
-
Моонзундская операция Балтийского флота 1917 года
Название: Моонзундская операция Балтийского флота 1917 годаАвтор: А.КосинскийИздательство: В.-Морская Академия РККАГод: 1928Страниц: 164Язык: русскийФормат: pdfРазмер: 62,02(+3%)МбБорьба флота против . . .
-
Познай себя. О психиатрии и психоанализе для всех, кто интересуется (Аудиокнига)
В настоящем издании представлена работа Эрика Берна, в которой он доступно рассказывает о том, что представляет собой психика человека с позиций психоанализа, а также о его применении в психотерапевти . . .
-
Следы в пустыне
Автор: Кристоф БаумерНазвание: Следы в пустынеГод выпуска: 2009Перевод: Элеонора МельникИздательство: ВечеСерия: Путешествие за тайнойISBN: 978-5-9533-3931-5Формат: PDF, DjVuРазмер: 58.1 Mb (PDF); 19. . . .
-
История электроэнергетики
Название: История электроэнергетики Автор: Матющенко В.С. Матющенко С.В. Издательство: ДВГУПСГод: 2010Формат: docКоличество страниц: 123Размер: 11.3 MbУчебное пособие соответствует содержанию . . .
-
Физический факультет МГУ. Исторический справочник
Название: Физический факультет МГУ. Исторический справочникАвтор: Лёвшин Л.В. Издательство: МоскваГод: 2002Формат: PDFКоличество страниц: 345Размер: 2,9 MbСправочник содержит информацию о . . .
-
Про трех китов и про многое другое
Название: Про трех китов и про многое другоеАвтор: Кабалевский Д.Издательство: Пермское книжное издательствоГод: 1974Страниц: 182Язык: русскийФормат: pdf, fb2Размер: 7.8 МбВ основу книги положены бесе . . .
-
Харьков 1941-й. Часть 1. У края грозы
Автор: В.К. Вохмянин, А.И. ПодопригораНазвание: Харьков 1941-й. Часть 1. У края грозыИздательство: РайдерГод: 2008Формат: pdfРазмер: 64,5МбСтраниц: 100 с илл.Серия: Харьков в огнеИстинная роль и значе . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Static Analysis of Software. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.