documents   about archive   about project   Andrei Ershov   in Russian

Archive Editorial activity A.P. Ershov's contribution to the "Information Processing Letters" Journal IPL. Article by T. Takaoka Article

	Article "A Decomposition Rule for the Hoare Logic". Date: 05.10.1986 Original document language: English Authors: T. Takaoka Images of pages: 1 2 3 4 5 6 7 Back Next document (Covering letter) Previous document (Cover)
	Switch to Russian | Search | Advanced search | Folders | Themes

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