MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

by Bjørner, Dines
Published 2001

Springer-Verlag Berlin Heidelberg

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