Rigorous System Design
Download Rigorous System Design PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Rigorous System Design book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Rigorous System Design
Deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a model-based process leading from requirements to correct implementations and presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them.