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)
Paperback Published on: 24/06/2023
Price: £54.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030388027
- Number of pages: 524
- Dimensions: 235 x 155 mm
- Languages: English


