Concurrency, Specification and Programming Bernd-Holger Schlingloff, Thomas Vogel & Andrzej Skowron: другие книги

Software Engineering and Formal Methods

2022

Formal Methods for Software Engineering

2022