Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

by Antonio Cerone (Author), Gerardo Schneider (Author), Antonio Cerone (Author), Markus Roggenbach (Author), Siraj Ahmed Shaikh (Author), Bernd-Holger Schlingloff (Author)

New
Hardcover
2022
$101.60

$101.60

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 552
Edition: 1st ed. 2022
Publisher: Springer
Published: 07 Jul 2022
ISBN 10: 3030387992
ISBN 13: 9783030387990

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

New

$101.60

$101.60

More Information