documents   about archive   about project   Andrei Ershov   in Russian

Archive Scientific foreign trips Scientific trip to Poland (1983) Stay at Poland Paper

	Paper "Abstract Data Types and Finding Invariants of Programs" Date: 18.08.1983 Original document language: russian Authors: Alexander A. Letichevsky Images of pages: 1 2 3 4 5 6 7 8 9 10 Back Next document (Working Notes) Previous document (Participations Information)
	Switch to Russian | Search | Advanced search | Folders | Themes

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