Book Title: Formal Methods for Software Engineering
Book Subtitle: Languages, Methods, Application Domains
Authors: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Series Title: Texts in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-030-38800-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Hardcover ISBN: 978-3-030-38799-0Published: 23 June 2022
Softcover ISBN: 978-3-030-38802-7Due: 23 June 2023
eBook ISBN: 978-3-030-38800-3Published: 22 June 2022
Series ISSN: 1862-4499
Series E-ISSN: 1862-4502
Edition Number: 1
Number of Pages: XXVIII, 524
Number of Illustrations: 35 b/w illustrations, 12 illustrations in colour
