Logical frameworks
Éditeur :
Cambridge University Press
ISBN :
9780521413008
Date de publication :
26 sept. 1991
Dimensions :
22,9 x 15,2 x 2,7 cm
Poids :
780 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.