Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bjørner, Dines (Editor, http://id.loc.gov/vocabulary/relators/edt), Broy, Manfred (Editor, http://id.loc.gov/vocabulary/relators/edt), Zamulin, Alexandre (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 2244
• Subjects: Architecture, Computer.; Programming languages (Electronic computers).; Computer logic.; Computer programming.; Software engineering.; Computers.; Computer System Implementation.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Programming Techniques.; Software Engineering.; Computation by Abstract Devices.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov...