Formal Description of Arbitrary Systems by means of Functional Languages

Informazioni relative al progetto

FORFUN

ID dell’accordo di sovvenzione: 881

Progetto chiuso

Data di avvio 1 Maggio 1986

Data di completamento 1 Maggio 1990

Finanziato da

• European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Costo totale € 0,00

Contributo UE Nessun dato

Coordinato da

KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands

Pubblicazioni

Other (1)

FORMAL DESCRIPTION OF DIGITAL AND ANALOG SYSTEMS BY MEANS OF FUNCTIONAL LANGUAGES

Autori: BOUTE R (UNIVERSITY OF NIJMEGEN (NL))
Pubblicato in: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 212-226 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL) ISBN 0-7923-1039-X, 1990, Pagina/e 212-226, ISBN 0-7923-1039-X