Cover Image
Read Now

1
by Küchlin, Wolfgang, Weber, Andreas
Published 2005
Springer Berlin Heidelberg
Subjects: “...Logics and Meanings of Programs...”