Manfred Broy

Alexandre V. Zamulin

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 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.

5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Perspectives of Systems Informatics

Dines Bjørner

This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers presented together with five revised full invited papers were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on algebraic specifications, partial evaluation and super compilation, specification with states, concurrency and parallelism, logic and processes, languages and software, database programming, object-oriented programming, constraint programming, model checking and program checking, and artificial intelligence.

Alexandre V. Zamulin

Books

Your next favorite book is out there