Software Engineering and Formal Methods 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