2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical
sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed
systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
|Produto sob encomenda||Sim|
|Marca||SPRINGER VERLAG POD|
|Ano da edição||2004|
|Número de Páginas||600|
|Autor||Broy,Manfred; Alexandre V. Zamulin|