Theoretical aspects of computer software : third international symposium, TACS' 97, Sendai, Japan, September 23-26, 1997 : proceedings / Martin Abadi, Takayasu Ito, ed. lit..
- New York : Springer , cop. 1997 .
- XI, 638 p. ; 24 cm.
- (Lecture notes in computer science)
; 1281
ISBN 3-540-63388-X
Software
LCC QA75.5
ISBN 3-540-63388-X
Software
LCC QA75.5
