Concurrency, Specification and Programming Más libros de Bernd-Holger Schlingloff, Thomas Vogel & Andrzej Skowron

Software Engineering and Formal Methods

2022

Formal Methods for Software Engineering

2022