Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

Hierarchical Integration of Logic and Functional Paradigms: Specification, Refinement, and Implementation

Od 1989-04-01 do 1991-11-30

Dane projektu

Całkowity koszt:

Niedostępne

Wkład UE:

Niedostępne

Kraj koordynujący:

Germany

Cel

Koordynator

Gesellschaft für Mathematik und Datenverarbeitung mbH
Germany
Schloß Birlinghoven
53754 Sankt Augustin
Germany
See on map
Kontakt administracyjny: Roland DIETRICH
Tel.: +49-721-66220
Faks: +49-721-6622968
Adres e-mail

Uczestnicy

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Kontakt administracyjny: John DARLINGTON
Tel.: +44-715-895111
Faks: +44-715-818024
Adres e-mail
KATHOLIEKE UNIVERSITEIT NIJMEGEN
Netherlands
TOERNOOIVELD, 1
6525 ED NIJMEGEN
Netherlands
See on map
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę