Cover Image
Read Now

1
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
“...Texts in Theoretical Computer Science. An EATCS Series...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
“...Monographs in Theoretical Computer Science. An EATCS Series...”