Standard

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

Harvard

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

APA

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

Vancouver

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

Author

Антонов, С.А. ; Сергеев, С.Л. / Формальные спецификации в разработке программного обеспечения. Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.. 2005. pp. 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