Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed ShaikhAnnée:
2022
Edition:
1st ed. 2022
Editeur::
Springer
Langue:
english
Pages:
552
ISBN 10:
3030387992
ISBN 13:
9783030387990
Fichier:
PDF, 6.30 MB
IPFS:
,
english, 2022