Formal Methods
Автор: Jean-Louis Boulanger
Название: Formal Methods
Издательство: Wiley
ISBN : 978-1-84821-362-3
Год: 2012
Количество страниц: 364
Формат: PDF
Размер: 14 Mb
Язык: English
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.
Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain.
turbobit.net
depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12777 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Посібник з експлуатації комп’ютера АМІ
Книга Посібник з експлуатації комп’ютера АМІ Посібник з експлуатації комп’ютера АМІ Книги Самоучители Автор:&nb . . .
-
Журнал Сам себе мастер №4, 2016
Название: Сам себе мастер Издательство: OOО "ИДЛ" Номер: 4 Месяц / Год: апрель / 2016 Страниц: 43 Формат: PDF Размер файла: 33,8 Мб Язык: русский . . .
-
Флетч в Зазеркалье (Аудиокнига)
Название: Флетч в Зазеркалье (Аудиокнига) Автор: Макдональд Грегори Издательство: Нигде не купишь Год издания: 2006 Язык: Русский Формат: MP3 Битрейт аудио: 128 kbps Время звучания: 5:06:36 Читает: . . .
-
Правильные грядки: красиво, технологично, современно
Название: Правильные грядки: красиво, технологично, современно Автор: Николай Курдюмов Издательство: АСТ ISBN: 978-5-17-095342-4 Год издания: 2016 Страниц: 160, 72 ил. Язык: Русский Формат: rtf, fb2 . . .
-
Украина трех революций
Название: Украина трех революций Автор: Аглая Топорова Издательство: Лимбус Пресс ISBN: 978-5-8370-0720-0 Год издания: 2016 Страниц: 230 Язык: Русский Формат: rtf, fb2 Качество: отличное Размер: 10, . . .
-
Сборник деликатесных рецептов для СВЧ печей
Книга Сборник деликатесных рецептов для СВЧ печей Сборник деликатесных рецептов для СВЧ печей Книги Кулинария А . . .
-
Книга Windows 10 для чайников
Название: Windows 10 для чайников Автор: Ратбон Энди Страниц: 480 Формат: PDF Размер: 32 мб Качество: Отличное Язык: Русский Год издания: 2016 Windows 10 сочетает в себе все лучшее, что было в предыду . . .
-
Книга Господь избрал добрейшего. Краткое повествование о святом Патриархе Тихоне
Название: Господь избрал добрейшего. Краткое повествование о святом Патриархе Тихоне Автор: Скоробогатько Н.В. Формат: PDF Размер: 33 мб Качество: Отличное Язык: Русский Год издания: 2013 Студенту Дух . . .
-
Десерты для взрослых и малышей. Пальчики оближешь!
Название: Десерты для взрослых и малышей. Пальчики оближешь! Автор: Агафья Звонарева Издательство: Центрполиграф ISBN: 978-5-227-06026-6 Год издания: 2015 Страниц: 100 Язык: Русский Формат: rtf, fb2 . . .
-
Стратегия «большого рывка»
Название: Стратегия «большого рывка» Автор: Михаил Делягин, Андрей Фурсов, Сергей Глазьев Издательство: Алгоритм ISBN: 978-5-4438-0543-6 Год издания: 2015 Страниц: 270 Язык: Русский Формат: rtf, fb2 . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Formal Methods. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.