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

	Foreword Date: 28.03.1987 Original document language: russian Authors: Andrei Petrovich Ershov Images of pages: 1 2 3 4 5 6 7 8 Back Previous document (Cover Page and Index)
	Switch to Russian | Search | Advanced search | Folders | Themes

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