Logical frameworks


edited by Gérard Huet, G. Plotkin
Bok Engelsk 1991

Detaljer

Bibliotek som har denne