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

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

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

978-966-662-184-2 45.00 грн.


Програмне забезпечення
Програмування ЕОМ

32.973.2-018