Media type: Book; Conference Proceedings Title: Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23 - 26, 1997 ; proceedings Contributor: Abadi, Martín [Other]; Itō, Takayasu [Other] Event: TACS imprint: Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1281 Extent: XI, 638 S.; graph. Darst; 24 cm Language: English ISBN: 354063388X RVK notation: SS 4800 : Lecture notes in computer science Keywords: Software Software Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4213 Item ID: 10014858 Status: Loanable, place order > Ordering possible ‒ please log in