Featured
Compare webshops (2)
Pages: 349, Paperback, Independently published
Prices were last updated on: 04-06-2026, 20:20
Cambridge University Press
Real-Time Systems: Formal Specification and Automatic Verification
Springer
Versatile Hardware Analysis Techniques: From Waveform based to Formal Verification
Scalable Techniques for Formal Verification
Book Bound Press
Regression Analysis Using MATLAB: Practical Techniques, Real Data Examples, and Step by Modeling
Back to top