![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)](https://cdn11.bigcommerce.com/s-gibnfyxosi/images/stencil/300x300/products/3885120/3913978/9783030388027__12259.1696620473.jpg?c=1)
![Image coming soon](https://cdn11.bigcommerce.com/s-gibnfyxosi/stencil/a8da3ec0-a18b-013b-e50b-2e20ec5adf35/e/93b310e0-8bb2-013d-91e8-4a31a425e28c/img/ProductDefault.gif)
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
ISBN13:
9783030387990
$97.68
- | Author: Markus Roggenbach|Antonio Cerone|Bernd-Holger Schlingloff|Gerardo Schneider|Siraj Ahmed Shaikh
- | Publisher: Springer
- | Publication Date: October 11, 2021
- | Number of Pages: 440 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 3030387992
- | ISBN-13: 9783030387990
- Author:
- Markus Roggenbach|Antonio Cerone|Bernd-Holger Schlingloff|Gerardo Schneider|Siraj Ahmed Shaikh
- Publisher:
- Springer
- Publication Date:
- October 11, 2021
- Number of pages:
- 440 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 3030387992
- ISBN-13:
- 9783030387990