MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Embedded Software : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

by Henzinger, Thomas A
Published 2001

Springer-Verlag Berlin Heidelberg

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

Cover Image

2

Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

by Henzinger, Thomas A
Published 1998

Springer Berlin Heidelberg

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