寄付 2024年9月15日 – 2024年10月1日 募金について

Perspectives of System Informatics: 5th International...

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

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)
この本はいかがでしたか?
ファイルの質はいかがですか?
質を評価するには、本をダウンロードしてください。
ダウンロードしたファイルの質はいかがでしたか?

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.

年:
2003
版:
1
出版社:
Springer-Verlag Berlin Heidelberg
言語:
english
ページ:
572
ISBN 10:
3540208135
ISBN 13:
9783540208136
シリーズ:
Lecture Notes in Computer Science 2890
ファイル:
PDF, 7.03 MB
IPFS:
CID , CID Blake2b
english, 2003
オンラインで読む
への変換進行中。
への変換が失敗しました。

主要なフレーズ