Modeling in Event-B

Abrial Jean-Raymond (EN)
Рейтинг 0
  • Понравилось: 0
  • В библиотеках: 0
  • 178
  • 0
  • 0

Скачать книгу в формате:

Аннотация

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

ЕЩЕ



Отзывы

Популярные книги

Здравствуй, дорогой незнакомец. Книга "Modeling in Event-B" Abrial Jean-Raymond (EN) не оставит тебя равнодушным, не вызовет желания заглянуть в эпилог. Произведение пронизано тонким юмором, и этот юмор, будучи одной из форм, способствует лучшему пониманию и восприятию происходящего. Умелое использование зрительных образов писателем создает принципиально новый, преобразованный мир, энергичный и насыщенный красками. Грамотно и реалистично изображенная окружающая среда, своей живописностью и многообразностью, погружает, увлекает и будоражит воображение. Благодаря уму, харизме, остроумию и благородности, моментально ощущаешь симпатию к главному герою и его спутнице. Умеренное уделение внимания мелочам, создало довольно четкую картину, но и не лишило читателя места для его личного воображения. С первых строк понимаешь, что ответ на загадку кроется в деталях, но лишь на последних страницах завеса поднимается и все становится на свои места. Возникает желание посмотреть на себя, сопоставить себя с описываемыми событиями и ситуациями, охватить себя другим охватом - во всю даль и ширь души. При помощи ускользающих намеков, предположений, неоконченных фраз, чувствуется стремление подвести читателя к финалу, чтобы он был естественным, желанным. На первый взгляд сочетание любви и дружбы кажется обыденным и приевшимся, но впоследствии приходишь к выводу очевидности выбранной проблематики. Удачно выбранное время событий помогло автору углубиться в проблематику и поднять ряд жизненно важных вопросов над которыми стоит задуматься. "Modeling in Event-B" Abrial Jean-Raymond (EN) читать бесплатно онлайн, благодаря умело запутанному сюжету и динамичным событиям, будет интересно не только поклонникам данного жанра.

Читать Modeling in Event-B

Новинки

Сказание о второстепенном злодее 2
  • 7
  • 0
  • 0

Аннотация:

Первый том тут: #432437 !!! Я попал в другой мир! В тело второстепенного злодея, которого в итоге съ...

Полный текст — 120 стр.

Первый том тут: #432437 !!! Я попал в другой мир! В тело второстепенного злодея, которого в итоге съ...

Притворный герой
  • 12
  • 0
  • 0

Аннотация:

Деятельность «Альтерната» под угрозой раскрытия. Кажется, Хантер намерен уничтожить репутацию центра...

Полный текст — 65 стр.

Деятельность «Альтерната» под угрозой раскрытия. Кажется, Хантер намерен уничтожить репутацию центра...

Босс. Полный клининг.
  • 94
  • 0
  • 0

Аннотация:

... Ранимым натурам читать с осторожностью! В книге присутствуют крайне откровенные сцены (КРАЙНЕ ОТ...

Полный текст — 42 стр.

... Ранимым натурам читать с осторожностью! В книге присутствуют крайне откровенные сцены (КРАЙНЕ ОТ...

Драконова проблема
  • 41
  • 1
  • 0

Аннотация:

  Истинность - зло! И мириться с ним я не собираюсь. Так я сказала наглому, абсолютно невыносимо...

Полный текст — 73 стр.

  Истинность - зло! И мириться с ним я не собираюсь. Так я сказала наглому, абсолютно невыносимо...

Отпуск за свой счет, или Очумелое хозяйство попаданки
  • 65
  • 1
  • 0

Аннотация:

«Даже если вам немного за тридцать, есть надежда выйти замуж…». Ну и пусть мне уже два раза "заму...

Полный текст — 58 стр.

«Даже если вам немного за тридцать, есть надежда выйти замуж…». Ну и пусть мне уже два раза "заму...

Убийство в Типпингтон-Бэй. Книга 4
  • 17
  • 0
  • 0

Аннотация:

Присоединяйтесь к Дженни Хэдли — владелице пекарни, любительнице собак, бывшей инспектору полиции и ...

Полный текст — 32 стр.

Присоединяйтесь к Дженни Хэдли — владелице пекарни, любительнице собак, бывшей инспектору полиции и ...

Эра цепей
  • 7
  • 0
  • 0

Аннотация:

«Зачем жители При-Зона 6 устроили ту ловушку? Хотели отомстить? Но кому? И почему использовали ро...

Полный текст — 8 стр.

«Зачем жители При-Зона 6 устроили ту ловушку? Хотели отомстить? Но кому? И почему использовали ро...