Virbitskaite, Irina.
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / [electronic resource] : edited by Irina Virbitskaite, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4378 0302-9743 ; . - Lecture Notes in Computer Science, 4378 .
9783540708810
10.1007/978-3-540-70881-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / [electronic resource] : edited by Irina Virbitskaite, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4378 0302-9743 ; . - Lecture Notes in Computer Science, 4378 .
9783540708810
10.1007/978-3-540-70881-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113