MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

by Kozen, Dexter
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

2

Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”