Specification and derivation of digital circuits using higher-order logic

  • A. Raap

Student thesis: Master

Abstract

Date of Award31 Oct 1990
Original languageEnglish
SupervisorC.J. Koomen (Supervisor 1) & P.J. de Graaff (Supervisor 2)

Cite this

Specification and derivation of digital circuits using higher-order logic
Raap, A. (Author). 31 Oct 1990

Student thesis: Master