Theoretical aspects of computer software (e-book)
Abadi, Martin
Theoretical aspects of computer software (e-book) - Berlin Springer 1997 - Lecture Notes in Computer Science (LNCS) v.1281 .
978-3-540-69530-1
Theoretical aspects of computer software (e-book) - Berlin Springer 1997 - Lecture Notes in Computer Science (LNCS) v.1281 .
978-3-540-69530-1