Theoretical aspects of computer software: third international symposium, tacs'97, sendai, japan, september 23 - 26, 1997, proceedings
Auteur :
Abadi, Martin
ISBN :
9783540633884
Date de publication :
27 août 1997
Dimensions :
23,4 x 15,6 x 3,3 cm
Poids :
911 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.