APA
Тарасюк О. М., Горбенко А. В. & Харченко В. С. (2009). Формальные методы разработки критического программного обеспечения. Харьков: ХАИ.
Chicago
Тарасюк О М, Горбенко А В and Харченко В С. 2009. Формальные методы разработки критического программного обеспечения. Харьков: ХАИ.
Harvard
Тарасюк О. М., Горбенко А. В. and Харченко В. С. (2009). Формальные методы разработки критического программного обеспечения. Харьков: ХАИ.
MLA
Тарасюк О М, Горбенко А В and Харченко В С. Формальные методы разработки критического программного обеспечения. Харьков: ХАИ. 2009.
Текст Серія: Tempus. Education and CultureПублікація: Харьков : ХАИ, 2009Опис: 214 сISBN: 
Книги