Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this vol...

Celý popis

Podrobná bibliografie

Korporativní autor:	International symposium on Theoretical aspects of computer software :Sendai, Japan
Další autoři:	Kobayashi, Naoki, 1968- (Šéfredaktor, odpovědný redaktor), Pierce, Benjamin C., 1963- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 2215
Témata:	Génie logiciel Informatique Systèmes, Conception de Logique symbolique et mathématique Logiciels > Développement Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theoretical aspects of computer software, 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Naoki Kobayashi, Benjamin C. Pierce (eds.), 2001, Berlin, Springer, 1 vol. (XV-559 p.), Lecture notes in computer science, 3-540-42736-8 • Theoretical Aspects of Computer Software, Texte imprimé, 9783662192504