Yazar
t f melham
5 cilt bulundu.
Cilt sonuçları
Higher order logic and hardware verification
T. F. Melham · Cambridge University Press
165 sayfa · 1993
Data processing / Integrated circuits / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Very large scale integration
Higher Order Logic and Hardware Verification
T. F. Melham · Cambridge Univ Pr
Sayfa sayısı yok · 2009
Very large scale integration / Symbolic and mathematical Logic / Integrated circuits / Data processing / Logic, symbolic and mathematical
Higher order logic theorem proving and its applications
T. F. Melham, Juanito Camilleri · Springer
470 sayfa · 1994
Congresses / Automatic theorem proving / Logic, symbolic and mathematical
Introduction to HOL
Michael J. C. Gordon, T. F. Melham · Cambridge University Press
482 sayfa · 1993
HOL (Computer file) / ML (Computer program language) / Automatic theorem proving / Logic, symbolic and mathematical