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 оценок |
| Формат: | Книга |
| Уже скачали: | 12775 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Филантропия в Америке
Автор: Фридрих Фурман Издательство: Издательские решения Год: 2015 Страниц: 256 Язык: русский Формат: rtf, fb2 Размер: 1.3 Мб Книга о том, как в Новом Свете за четыре века его истории — от эры колоний . . .
-
Тектонические напряжения и прочность пpиродных горных массивов
Название: Тектонические напряжения и прочность пpиродных горных массивовАвтор: Ребецкий Ю.Л.Издательство: АкадемкнигаГод: 2007Страниц: 406ISBN: 978-5-94628-200-0Формат: PDFРазмер: 37 МбЯзык: русск . . .
-
Железный век
Название: Железный век - Левандовский А.А. Автор: Левандовский А.А. Формат: PDF Размер: 23 mb Качество: Нормальное Язык: Русский Год издания: 2000 Сборник научно-популярных статей известного историка, . . .
-
Журнал Scientific American №101, 1909
Название: Scientific American Издательство: Munn & Co (New York) Номер: 101 Месяц / Год: 2-е полугодие / 1909 Страниц: 506 Формат: Pdf Размер файла: 308 Мб Яз . . .
-
Соколова Марина - Хроники Проклятых земель
Между Таросом и Аргинией, окруженное каменной стеной, стоит некогда процветающее царство, ныне проклятые земли.... Разрушенные города, гниющие болота, ядовитые реки, это место населяют монстры и жалка . . .
-
Музыка. Рабочая тетрадь. 4 класс. 3-е издание
Название: Музыка. Рабочая тетрадь. 4 класс. 3-е издание Автор: Критская Е. Д., Сергеева Г. П., Шмагина Т. С. Издательство: М:. Просвещение ISBN: 978-5-09-032319-2 Год выпуска: 2014 Страниц: 35 Формат . . .
-
Журнал Дом. Спецвыпуск №4, 2015. Делаю ремонт. Часть 2 «Декор»
Название: Дом. Спецвыпуск Издательство: OOО "ИДЛ" Номер: 4 Месяц / Год: 2015 Страниц: 129 Формат: PDF Размер файла: 43,76 Мб Язык: русский . . .
-
Джейн Остен и ее современницы
Название: Джейн Остен и ее современницы Автор: Екатерина Коути Издательство: БХВ-Петербург Год: 2015 Страниц: 380 Язык: русский Формат: fb2 Размер: 6.7 Мб Книга повествует о Джейн Остен и ее самых изв . . .
-
Курков Андрей - Пикник на льду (АудиоКнига)
Журналист Виктор Золотарев получает необычное задание от крупной газеты: писать некрологи на видных влиятельных людей, хотя все они пока еще живы. Постепенно он понимает, что стал участником крупной и . . .
-
Рисование и лепка кондитерских изделий
Название: Рисование и лепка кондитерских изделийАвтор: Коева В.А.Издательство: ФениксГод: 2001Страниц: 174ISBN: 5-222-01577-7Формат: DjVuРазмер: 20.3 MбЯзык: русскийСерия: Учебники XXI векаТорт . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Formal Methods. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.