Perspectives of Systems Informatics | 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Manfred Broy (u. a.)

ISBN 10: 3540208135 / ISBN 13: 9783540208136

Published by Springer, 2004

About this Item

Perspectives of Systems Informatics | 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers | Manfred Broy (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540208136 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 102480530

Bibliographic Details

• Title: Perspectives of Systems Informatics | 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
• Publisher: Springer
• Publication Date: 2004
• Language: English
• ISBN 10: 3540208135
• ISBN 13: 9783540208136
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 33D millimeters 235 millimeters width by 155 millimeters height by 33 millimeters depth
• Weight: 896 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.