"Formal Description of Programming Concepts III" ist ein Konferenzband, der von Martin Wirsing herausgegeben wurde. Das Buch sammelt eine Reihe von wissenschaftlichen Arbeiten, die sich mit der formalen Beschreibung und Analyse von...