Introduction to Formal Hardware Verification. Thomas Kropf HB/G+

An Introduction to Formal Logic by Smith, Peter, Paperback

An Introduction to Formal Logic By Peter Smith

An Introduction to Formal Program Verification

Introduction to Formal Languages by Revesz, Gyorgy E.; Mathematics

Z 2e: An Introduction to Formal Methods by Diller, Antoni Paperback Book The

Introduction to Formal Hardware Verification, Kropf, Thomas, 9783642084775

Introduction to Formal Hardware Verification, Hardcover by Kropf, Thomas, Lik...