In print
Ebook
Audiobook
Library
We may earn a commission. Learn more.
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.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.