Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Notes in Computer Science, 982, Band 982)
Das Buch sammelt die Schlüsselergebnisse des siebten internationalen Symposiums zu Programmiersprachen und Logik aus Utrecht 1995, präsentiert neue ...