documents   about archive   about project   Andrei Ershov   in Russian

Archive International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums International Conference on Software Reliability Abstracts of papers submitted to the conference Abstract of the paper

	Abstract of the paper "The Synthesis of Programs as an Approach to the Construction of Reliable Programs". Date: 15.07.1974(?) Original document language: English Authors: G. Degli Antoni, P. A. Miglioli, M. Ornaghi Images of pages: 1 2 3 Back Next document (Abstract of the paper) Previous document (Abstract of the paper)
	Switch to Russian | Search | Advanced search | Folders | Themes

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