
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series) (PDF/EPUB Version)
$19.99
Description
Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Series:
Publisher: Springer
Year: 2022
Edition: 1st ed. 2022
Language: English
ISSN: