MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

by Anderson, Stuart
Published 2003

Springer Berlin Heidelberg

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