Index Catalog // STAX

Cancellare i filtri

Filtro per: Dipartimento, Scuola o Facoltà Department of Electronic and Electrical Engineering Dipartimento, Scuola o Facoltà Faculty of Engineering Funder Engineering and Physical Sciences Research Council

Toatie : functional hardware description with dependent types

Creatore:

Ramsay, Craig

Data:

2023

Funder:

Engineering and Physical Sciences Research Council

Department, School or Faculty:

Software Defined Radio Research Laboratory, Department of Electronic and Electrical Engineering, and Faculty of Engineering

Toatie : functional hardware description with dependent types

Affina la ricerca

genere

Tipo di risorsa

Creatore

Collaboratore

Funder

Dipartimento, Scuola o Facoltà

Data

Ricerca

Risultati della ricerca

Affina la ricerca