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" Cover Page and Index

	Cover Page and Index Date: 27.03.1987 Original document language: russian Authors: V. A. Nepomniaschy, Oleg M. Ryakin Images of pages: 1 2 3 Back Next document (Foreword) Previous document (Conclusion)
	Switch to Russian | Search | Advanced search | Folders | Themes

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