MPG.eBooks - Search Results - "Logics And Meanings Of Programs"

Search alternatives:
meanings » meaning
programs » program

Cover Image

1

Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings

by Anderson, Stuart
Published 2002

Springer-Verlag Berlin Heidelberg

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

Cover Image

2

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...”