Формальные аспекты вычислений - Formal Aspects of Computing

*Формальные аспекты вычислений*
Дисциплина	Информатика, формальные методы
Язык	английский
Отредактировано к	Джим Вудкок, Клифф Джонс
Детали публикации
История	1989 – настоящее время
Издатель	Springer Science + Business Media
Частота	Ежеквартальный
Фактор воздействия	1.170 (2010)
Стандартные сокращения;
ISO 4	Форма. Asp. Comput.
Индексирование
ISSN	0934-5043 (Распечатать); 1433–299X (Интернет);
OCLC нет.	42939863
Ссылки
	Домашняя страница журнала;

Формальные аспекты вычислений (FAOC) это рецензируемый научный журнал опубликовано Springer Science + Business Media, покрывая площадь формальные методы и связанные темы в Информатика. В главные редакторы находятся Джим Вудкок и Клифф Джонс. Журнал связан с BCS-FACS, то Британское компьютерное общество Формальные аспекты вычислительной науки Группа специалистов. Согласно Отчеты о цитировании журналов, журнал имеет 2010 фактор воздействия из 1.170.^[1]

Смотрите также