1
Published 2002
Springer Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...

2
by Brauer, Wilfried
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...