Software Engineering and Formal Methods Plus de livres par Bernd-Holger Schlingloff & Ming Chai

Concurrency, Specification and Programming

2023

Formal Methods for Software Engineering

2022