Formal Methods for Embedded Distributed Systems: How to master the complexity

$30.00