|
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Table of Contents:
“...1 Formal Methods -- Part I Languages: 2 Logics for Software Engineering -- 3 The Process Algebra...”Published 2022
Springer International Publishing