Type Analysis and Data Structure Selection

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

OriginalsprogEngelsk
TitelConstructing Programs from Specifications
Antal sider40
ForlagNorth-Holland
Publikationsdato1991
Sider125-164
StatusUdgivet - 1991

ID: 12873287