Software Engineering and Formal Methods Mehr Bücher von Bernd-Holger Schlingloff & Ming Chai

Concurrency, Specification and Programming Concurrency, Specification and Programming
Concurrency, Specification and Programming
2023
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022