Formal methods for software engineering : languages, methods, application domains / Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh ; with a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker.
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 constitute...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Authors: | , , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2022]
|
| Series: | Texts in theoretical computer science.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.758
|
|---|---|
| QA76.758 | Available |