Markus Roggenbach - Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 552, publicationDate : 2022-06-23, releaseDate : 2022-06-27, authors : Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Shaikh, Siraj Ahmed, ISBN : 3030387992 ...