Формальные аспекты вычислений
Появление
![]() | |
Дисциплина | Информатика , формальные методы |
---|---|
Язык | Английский |
Отредактировано | Джим Вудкок , Клифф Джонс |
Подробности публикации | |
История | 1989 – настоящее время |
Издатель | |
Частота | Ежеквартальный |
1.170 (2010) | |
Стандартные сокращения | |
ИСО 4 | Форма. Асп. Вычислить. |
Индексирование | |
ISSN | 0934-5043 (распечатать) 1433-299X (Интернет) |
OCLC нет. | 42939863 |
Ссылки | |
Формальные аспекты вычислений ( FAOC ) — рецензируемый научный журнал , издаваемый Springer Science+Business Media , освещающий область формальных методов и связанных с ними тем в информатике . — Главный редактор Джим Вудкок . По данным Journal Citation Reports журнала в 2010 году , импакт-фактор составил 1,170. [1]
До 2021 года журнал издавался издательством Springer. Сейчас его публикует ACM.
См. также [ править ]
Ссылки [ править ]
- ^ «Формальные аспекты вычислений». Отчеты о цитировании журнала за 2010 г. (Научное издание). Томсон Рейтер . 2011.
{{cite book}}
:|work=
игнорируется ( помогите )
Внешние ссылки [ править ]