Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
понимание программ
Связанные издания:
Ershov Informatics Conference PSI 11. International Workshop on Program Understanding/ July, Novososedovo, Russia
Perspectives of System Informatics: International Workshop on Program Understanding: Proc./5th Intern. Andrei Ershov Memorial Conf., PSI 03, Akademgorodok, Novosibirsk, Russia, July 2003
Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010
Static Analysis: Proc./16th International Symposium, SAS 2009. Los Angeles, CA, USA, August 2009
Static Analysis: Proc./19th International Symposium, SAS 2012, Deauville, France, September 2012
Static Analysis: Proc./22nd International Symposium, SAS 2015, Saint-Malo, France, September 2015
Static Analysis: Proc./25th International Symposium, SAS 2018
Разработка автоматных программ методом трансформации требований
Технология автоматного программирования на примере программы управления лифтом
Язык и технология автоматного программирования
Язык и технология автоматного программирования