Concurrency, Specification and Programming Mehr Bücher von Bernd-Holger Schlingloff, Thomas Vogel & Andrzej Skowron

Software Engineering and Formal Methods

2022

Formal Methods for Software Engineering

2022