Формальные аспекты вычислений
 | |
| Дисциплина | Информатика , формальные методы |
|---|---|
| Язык | Английский |
| редакцией Под | Джим Вудкок , Клифф Джонс |
| Подробности публикации | |
| История | 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=игнорируется ( помогите )
Внешние ссылки [ править ]
  | Эта статья информатики журнале незавершена . о Вы можете помочь Википедии, расширив ее . См. советы по написанию статей в научных журналах . статьи Дополнительные предложения можно найти на странице обсуждения . |