Formal Methods for Software Engineering: Languages, Methods, Application Domains

von: Markus Roggenbach · Antonio Cerone · Bernd-Holger Schlingloff · Gerardo Schneider · Siraj Ahmed Shaikh

Gebunden

Details (Deutschland)

EAN=ISBN-13: 978-3-030-38799-0

ISBN-10: 3-030-38799-2

Springer · Mai 2020