documents   about archive   about project   Andrei Ershov   in Russian

Archive Editorial activity Editor's Forewords Foreword and editing of the book by V.A.Nepomnyaschy and O.M. Ryakin "Applied Approaches to Program Verification" Covering letter and Contract, G. I. Kozyreva->A.P. Ershov, 26.08.1985 Conclusion, 04.04.1986 Cover Page and Index, 27.03.1987 Foreword, 28.03.1987 Initial order | In alphabetical order | By date

	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016