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

By: Contributor(s): Material type: TextLanguage: Russian Series: Tempus. Education and CulturePublication details: Харьков : ХАИ, 2008Description: 116 сISBN:
  • 978-966-662-184-2
Subject(s):
Item type: Книги
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Книги Читальний зал № 1 (тех. л-ра) 32.973.2-018/Т19 (Browse shelf(Opens below)) Available 00000021736