no image available Dickens & Co. "Designing the Future: Unraveling the Harmony Between Specification Languages and Digital Systems" "Unpacking the Synergy Between Formal Verification and Efficient System Design" Price: 25.00€