Cover Image
Read Now

1
by Eiter, Thomas
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Logics and Meanings of Programs...”
Cover Image
Read Now

2
by Schewe, Klaus-Dieter
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: “...Logics and Meanings of Programs...”
Cover Image
Read Now

3
by Bertossi, Leopoldo
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects: “...Logics and Meanings of Programs...”