Index Catalog // STAX

Filter löschen

Filtern nach: Mitwirkender Engineering and Physical Sciences Research Council Abteilung, Schule oder Fakultät Software Defined Radio Research Laboratory

Toatie : functional hardware description with dependent types

Schöpfer:

Ramsay, Craig

Datum:

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

Suche beschränken

Art

Ressourcentyp

Schöpfer

Mitwirkender

Geldgeber

Abteilung, Schule oder Fakultät

Datum

Suchen

Suchergebnisse

Suche beschränken