1
Published 2006
Springer New York
Subjects: ...Computer Science Logic and Foundations of Programming...