Ebook: Formal Methods for Software Engineering: Languages, Methods, Application Domains
Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- Year: 2022
- Publisher: Springer Nature
- Language: English
- epub
Download the book Formal Methods for Software Engineering: Languages, Methods, Application Domains for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)
