MPG.eBooks - Search Results - "Meaning"

Cover Image

1

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

by Bjøner, Dines
Published 2000

Springer-Verlag Berlin Heidelberg

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