Featured
Compare webshops (2)
Pages: 464, Edition: Second Edition 2022, Paperback, Springer
Prices were last updated on: 15-06-2026, 14:56
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Circuits
I K International Publishing House
Computer Aided Design: A Basic and Mathematical Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Back to top