Search alternatives:
eth » beth

1
by Kroening, Daniel, Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
.... This textbook has been used to teach undergraduate and graduate courses at ETH Zurich, at the Technion, Haifa...