1
by Ceccherini-Silberstein, Tullio, Coornaert, Michel
Published 2010
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...