Standard

Формальные спецификации в разработке программного обеспечения. / Антонов, С.А.; Сергеев, С.Л.

Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.. 2005. стр. 245-248.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

Harvard

Антонов, СА & Сергеев, СЛ 2005, Формальные спецификации в разработке программного обеспечения. в Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.. стр. 245-248.

APA

Антонов, С. А., & Сергеев, С. Л. (2005). Формальные спецификации в разработке программного обеспечения. в Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов. (стр. 245-248)

Vancouver

Антонов СА, Сергеев СЛ. Формальные спецификации в разработке программного обеспечения. в Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.. 2005. стр. 245-248

Author

Антонов, С.А. ; Сергеев, С.Л. / Формальные спецификации в разработке программного обеспечения. Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.. 2005. стр. 245-248

BibTeX

@inproceedings{f0d6d47462f14c5d8e30e0db57b1e888,
title = "Формальные спецификации в разработке программного обеспечения",
author = "С.А. Антонов and С.Л. Сергеев",
year = "2005",
language = "не определен",
pages = "245--248",
booktitle = "Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.",

}

RIS

TY - GEN

T1 - Формальные спецификации в разработке программного обеспечения

AU - Антонов, С.А.

AU - Сергеев, С.Л.

PY - 2005

Y1 - 2005

M3 - статья в сборнике материалов конференции

SP - 245

EP - 248

BT - Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.

ER -

ID: 4755040