Specification and derivation of digital circuits using higher-order logic

  • A. Raap

Scriptie/Masterproef: Master

Datum prijs31 okt. 1990
Originele taalEngels
BegeleiderC.J. Koomen (Afstudeerdocent 1) & P.J. de Graaff (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 1,7 MB

    Type: Scriptie

'