Applied semantics (e-book)
Barthe, Gilles
Applied semantics (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2395 .
978-3-540-45699-5
Applied semantics (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2395 .
978-3-540-45699-5