ESOP '92
4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This volume contains selected papers from ESOP '92. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems.
Autor*in
Bernd Krieg-Brückner
Themen in »ESOP '92«
Implementation Implementierung Programmentwicklung Programmiersprachen Programmierstil Programmiersysteme Programming Languages Programming Styles Programming Systems Specification programming programming language real-time semantics theorem proving