
Название: Formal Methods for Software Engineering: Languages, Methods, Application Domains
Автор: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Издательство: Springer
Год: 2022
Страниц: 537
Размер: 10.3 МБ
Формат: PDF
Язык: English
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering.