Есептеудің формальды аспектілері - Formal Aspects of Computing

*Есептеудің формальды аспектілері*
Тәртіп	Информатика, формальды әдістер
Тіл	Ағылшын
Өңделген арқылы	Джим Вудкок, Клифф Джонс
Жариялау мәліметтері
Тарих	1989 - қазіргі уақытқа дейін
Баспагер	Springer Science + Business Media
Жиілік	Тоқсан сайын
Импакт-фактор	1.170 (2010)
Стандартты қысқартулар;
ISO 4	Форма. Асп. Есептеу.
Индекстеу
ISSN	0934-5043 (басып шығару); 1433-299X (желі);
OCLC жоқ.	42939863
Сілтемелер
	Журналдың басты беті;

Есептеудің формальды аспектілері (FAOC) Бұл рецензияланған ғылыми журнал жариялаған Springer Science + Business Media ауданын қамтиды формальды әдістер және байланысты тақырыптар Информатика. The бас редакторлар болып табылады Джим Вудкок және Клифф Джонс. Журнал байланысты BCS-FACS, Британдық компьютерлік қоғам Есептеу ғылымының формальды аспектілері Мамандар тобы. Сәйкес Журналға сілтеме жасау туралы есептер, журналда 2010 жыл бар импакт-фактор 1.170.^[1]

Сондай-ақ қараңыз

^ «Есептеудің формальды аспектілері». 2010 ж. Журналға сілтеме жасау туралы есептер. Web of Science (Ғылым ред.). Thomson Reuters. 2011.