1
by Broy, Manfred, Stølen, Ketil
Published 2001
Springer New York
Subjects: '; ...Computer logic...

2
by Broy, Manfred
Published 1998
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...