Formal Hardware Verification : Methods and Systems in Comparison, Paperback b...

Undergraduate Texts in Mathematics: Ideals, Varieties, and Algorithms : An...

Schneider - Verification of Reactive Systems Formal Methods and Algo - X555z

Armstrong's Handbook of Human Resource Management Practice: A Guide to the Theor

Verification of Reactive Systems: Formal Methods and Algorithms by Klaus Schneid

Critical Systems - Formal Methods and Automated Verification : Joint 21st Int...

Critical Systems - Formal Methods and Automated Verification : Joint 22nd Int...

Formal Hardware Verification: Methods and Systems in Comparison by Thomas Kropf