von Jean-Pierre Banatre Simon B. Jones Daniel Le Metayer
Preis unbekannt
P. Fradet
Compiler Formale Methoden Functional languages Program transformation Programmierumgebung Programming environments Software Entwicklung Software-Engineering Sprachen formal methods software engineering