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" Conclusion

	Conclusion Date: 04.04.1986 Original document language: russian Authors: Andrei Petrovich Ershov Organizations: "Radio i svyaz" Publishing House Images of pages: 1 Back Next document (Cover Page and Index) Previous document (Covering letter and Contract)
	Switch to Russian | Search | Advanced search | Folders | Themes

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