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

Bibliographic Details
Corporate Authors:	TACS 2001 Sendai-shi, Miyagi-ken, Japan, SpringerLink (Online service)
Other Authors:	Kobayashi, Naoki, Pierce, Benjamin C.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 2215.
Subjects:	Computer software > Congresses. concurrence. contrôle flux. vérification modèle. logique programme. sémantique programme. Logiciels > Congrès. Computer software. Fundamentele informatica. Software. Systèmes, Conception de > Congrès. Logiciels > Développement > Congrès. Kongress. Electronic books. Kongress > Sendai > 2001. Conference proceedings. Sendai (2001)
Online Access:	Connect to the full text of this electronic book