no image available Dickens & Co. "Building Robust Systems: A Blueprint for Turning Formal Specifications into Reliable Control Software" "Drill Down to the Code: How Model-Based Synthesis Revolutionizes Safety-Critical Systems Development" Price: 29.00€