Cover of Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

by Tiziana Margaria, Bernhard Steffen

Software engineering

For young readers

Book data: Open Library