Theoretical aspects of computer software: international symposium tacs '94, sendai, japan, april 19-22, 1994 - proceedings
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783540578871
Date de publication :
1 mars 1994
Dimensions :
21,6 x 13,8 cm
Poids :
1120 g
Format :
Trade paperback (UK)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of the 2nd International Symposium on Theoretical Aspects of Computer Software, held at Tohoku University, Japan, in April 1994. It covers such topics as automated deduction, functional programming, concurrency, linear logic and much more.