Formal Methods for Software Engineering : Languages, Methods, Application Domains

Full text!
Format:
e-book
Title:
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Author:
Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-030-38799-2
3-030-38800-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:23976922700041?locale=en