Формальные методы разработки критического программного обеспечения : лекц. материал /

Тарасюк, О. М.

Формальные методы разработки критического программного обеспечения : лекц. материал / О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко - Харьков : ХАИ, 2009 - 214 с. - Tempus. Education and Culture .

978-966-96770-8-2 50.00 грн.


Програмне забезпечення

32.973.2-018