Formal Methods for Software Engineering: Languages, Methods, Application Domains
Markus Roggenbach (author), Antonio Cerone (author), Bernd-Holger Schlingloff (author), Gerardo Schneider (author), Siraj Ahmed Shaikh (author)
Hardback Published on: 23/06/2022
Price: £69.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030387990
- Number of pages: 524
- Dimensions: 235 x 155 mm
- Languages: English


