Тарасюк, О. М. <br/><br/>
Формальные методы разработки критического программного обеспечения :   лекц. материал / 
О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко 
 - Харьков :  ХАИ,  2009 
 - 214 с. 
 - Tempus. Education and Culture .
<br/><br/><label>ISBN: </label>978-966-96770-8-2  50.00 грн. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Програмне забезпечення
<br/><br/><label>Universal Decimal Class. No.: </label>32.973.2-018