Pnueli, Amir.
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers / [electronic resource] : edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5947 0302-9743 ; . - Lecture Notes in Computer Science, 5947 .
9783642114861
10.1007/978-3-642-11486-1 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 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers / [electronic resource] : edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5947 0302-9743 ; . - Lecture Notes in Computer Science, 5947 .
9783642114861
10.1007/978-3-642-11486-1 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