documents   about archive   about project   Andrei Ershov   in Russian

Archive Scientific foreign trips Scientific trip to Italy (1982) Materials brought from Capri Article

	Article "An informal introduction to specifications using Clear" by R.M.Burstall, J.A.Goguen. Original document language: English Authors: Rod M. Burstall, Joseph Goguen Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Back Next document (Article) Previous document (Abstract)
	Switch to Russian | Search | Advanced search | Folders | Themes

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