Concurrency, Specification and Programming Plus de livres par Bernd-Holger Schlingloff, Thomas Vogel & Andrzej Skowron

Software Engineering and Formal Methods

2022

Formal Methods for Software Engineering

2022