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

На пути к автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernel

By И. В. Марьясов.
Новосибирск Ин-т систем информатиики 2008 .
32 с. , Авт. также на англ. яз.: I.V. Maryasov 21.

By I.V. Maryasov.
Novosibirsk A.P. Ershov inst. of informatics systems 2011 .
42 с. , Авт. также на рус. яз.: И.В. Марьясов | Рез. на рус. яз. 20.

By M.A. Maryasov.
Cheboksary Изд-во Чувашского университета 2019 .
306 с. , Авт. также на рус. яз.: М.А. Марьясов 20.
978-5-7677-2909-8

By M. A. Maryasov.
Cheboksary Изд-во Чувашского университета 2021 .
134 с. , Авт. также на рус. яз.: М. А. Марьясов 20.
978-5-7677-3330-9