The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

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

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

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

$52.75

Quantity

1 in stock

More Information

Format: Paperback
 Pages: 552
 Edition: 1st ed. 2022
 Publisher: Springer
Published: 07 Jul 2023
ISBN 10: 3030388026
ISBN 13: 9783030388027