Narrow search
Showing 1 - 10 of 586
Cover Image
Semantics directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980
Jones, Neil D. (contributor) - 1980
Persistent link: https://www.econbiz.de/10004026329
Cover Image
Mathematical foundations of programming semantics : internat. conference ; proceedings
Conference on the Mathematical Foundations of … - Berlin ; Heidelberg [u.a.] : Springer - 1985(1986)[?]
Persistent link: https://www.econbiz.de/10004034020
Cover Image
Manhattan, Kansas, April 11 - 12, 1985
In: Mathematical foundations of programming semantics : … 239 (1986)
Persistent link: https://www.econbiz.de/10004034021
Cover Image
Workshop on Reliable Software : Bonn University, September 22 - 23, 1978
Raulefs, Peter (contributor) - Workshop on Reliable Software <1978, Bonn> - 1979
Persistent link: https://www.econbiz.de/10004000434
Cover Image
Simple program schemes and formal languages
Engelfriet, Joost - 1974
Persistent link: https://www.econbiz.de/10004020544
Cover Image
Axiomatising the logic of computer programming
Goldblatt, Robert - 1982
Persistent link: https://www.econbiz.de/10004210559
Cover Image
Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2 - 4, 1979
Kahn, Gilles (contributor) - 1979
Persistent link: https://www.econbiz.de/10004689872
Cover Image
Computational semantics : an introd. to artificial intelligence and natural language comprehension
Charniak, Eugene (contributor) - 1976
Persistent link: https://www.econbiz.de/10004689982
Cover Image
Formal specification of programming languages : a panoramic primer
Pagan, Frank G. - 1981
Persistent link: https://www.econbiz.de/10004655090
Cover Image
Foundations of logic programming
Lloyd, John W. - 1984
Persistent link: https://www.econbiz.de/10004660178