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

Type:

e-book

Titel:

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

Auteur:

Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Taal:

Engels

Uitgever:

Cham Springer International Publishing AG 2022

ISBN:

3-030-38799-2
3-030-38800-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:23976922700041