Бесплатная библиотека - 1 338 004 изданий в библиотеке

Formal Methods for Executable Software Models

Книга Formal Methods for Executable Software Models

Название: Formal Methods for Executable Software Models
автор: Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Издательство: Springer
Год выпуска: 2014
ISBN: 978-3319073163
Формат: PDF
Размер: 10 MB
Количество страниц: 343
Язык: Английский
Описание: This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.
SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
depositfiles.com
turbobit.net

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12783 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Arsenal of Airpower, USAF Aircraft Inventory 1950-2009

    Arsenal of Airpower, USAF Aircraft Inventory 1950-2009

    Название: Arsenal of Airpower, USAF Aircraft Inventory 1950-2009Автор: Col. James C. Ruehrmund, Christopher J. BowieИздательство: A Mitchell Institute StudyСтраниц: 88Формат: PDFРазмер: 22 мб Кач . . .

  • Книга SOS с корабля-призрака

    SOS с корабля-призрака

    Автор: Томас БрецинаНазвание: SOS с корабля-призракаИздательство: Кристина и ОльгаГод: 1993Страниц: 256Формат: DJVUРазмер: 3,2 МБКачество: Отличное, 600дпи, цветные обложки и ч/б иллюстрации СОДЕРЖАН . . .

  • Книга Античный плутовской роман

    Античный плутовской роман

    Название: Античный плутовской романАвтор: Петроний, ЛукианГод: 1991Издательство: СмартISBN: 5—7078-0101—4Формат: PDF Размер 15 МБСтраниц: 167Язык: Русский В сборник включены два произведения античной . . .

  • Книга Helicopter Flight Dynamics

    Helicopter Flight Dynamics

    Название: Helicopter Flight Dynamics: The Theory and Application of Flying Qualities and Simulation ModellingАвтор: Gareth D. PadfieldИздательство: Bleskwell PublishingСтраниц: 680Формат: P . . .

  • Книга Гептамерон

    Гептамерон

    Название: ГептамеронАвтор: Маргарита НаваррскаяГод: 2011Издательство: АСТISBN: 978-5-17-074965-2Формат: DjVuРазмер 37 МБСтраниц: 640Язык: Русский Маргарита Наваррская (1492 — 1549) была не просто одн . . .

  • Книга Fotoalbum aus dem Bundesarchiv. Italien. Teil 7

    Fotoalbum aus dem Bundesarchiv. Italien. Teil 7

    Название: Fotoalbum aus dem Bundesarchiv. ItalienИздательство: BundesarchivСтраниц: 122Формат: JPG Размер: 22 МбКачество: ХорошееЯзык: НемецкийФотоальбом из Немецкого Федерального Архива. Италия.P . . .

  • Книга Arado Ar 65 Bedienungsvorschrift – F1

    Arado Ar 65 Bedienungsvorschrift – F1

    Название: Arado Ar 65 Bedienungsvorschrift – F1. Bedienung und Wartung des FlugzeugsИздательство: Arado FlugzeugwerkeСтраниц: 52Формат: PDFРазмер: 22 мб Качество: среднееЯзык: НемецкийГод: 194 . . .

  • Книга 100 пытанняў і адказаў з гісторыі Беларусі

    100 пытанняў і адказаў з гісторыі Беларусі

    Название: 100 пытанняў і адказаў з гісторыі БеларусіАвторы: Саверчанка I., Санько Зм.Издательство: Мінск: рэдакцыя газеты «Звязда»Год: 1993Страниц: 80Формат: PDF Размер: 15,5 MbЯзык: белорусский100 во . . .

  • Книга Архитектура математики

    Архитектура математики

    Автор: ред. В. Ю. ИваницкийНазвание: Архитектура математики. Новое в жизни, науке, технике. Серия «Математика, кибернетика», 1Издательство: ЗнаниеГод: 1972Страниц: 32Формат: DJVUРазмер: 1,1 МБКачест . . .

  • Книга Белорусская Центральная Рада. Создание, деятельность, крах

    Белорусская Центральная Рада. Создание, деятельность, крах

    Автор: Соловьев А.К. Название: Белорусская Центральная Рада. Создание, деятельность, крахИздательство: Мн.: "Навука i тэхнiка"Год: 1995Количество страниц: 176Формат: DJVUРазмер: 5 mbНа основе документ . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Formal Methods for Executable Software Models. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.