Search for 'au:Promskij' with limit(s): 'suppress:false'

Применение трехуровневого подхода к верификации программ на языке С#-LIGHT

By А.В. Промский.
Новосибирск Институт систем информатики 2006 .
55 с. , Авт. также на англ. яз.: A.V. Promsky | Рез. на англ. яз. 20.

A formal approach to the error localization.

By A.V. Promsky.
Novosibirsk A.P. Ershov institute of informatics systems 2012 .
32 с. , На парал. тит. л. авт. на рус. яз.: А.В. Промский | Рез. на рус. яз. 21.

Towards C

Novosibirsk A.P. Ershov Inst. of informatics systems 2005 .
38 с. , На парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский | Рез. на рус. яз. 21.