CURRENTLY SOLD OUT

Correct-by-Construction System on Chip Design: Correct-by-construction Approaches for SoC Design by Samik Basu, Roopak Sinha, Parthasarathi Roop (Hardback, 2013)