Jump to content

Формальные аспекты вычислений

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

См. также [ править ]

Ссылки [ править ]

  1. ^ «Формальные аспекты вычислений». Отчеты о цитировании журнала за 2010 г. (Научное издание). Томсон Рейтер . 2011. {{cite book}}: |work= игнорируется ( помогите )

Внешние ссылки [ править ]


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f5d78e85ea5c3db5226793be977ff43c__1682764620
URL1:https://arc.ask3.ru/arc/aa/f5/3c/f5d78e85ea5c3db5226793be977ff43c.html
Заголовок, (Title) документа по адресу, URL1:
Formal Aspects of Computing - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)