TY  - BOOK
AU  - Magott,Jan
ED  - Wydawnictwa Komunikacji i Łączności.
TI  - Techniki opisu formalnego systemów informatycznych czasu rzeczywistego
SN  - 8320615771
PY  - 2005///
CY  - Warszawa
PB  - Wydawnictwa Komunikacji i Łączności
KW  - Czas rzeczywisty (informatyka)
KW  - kaba
KW  - Języki programowania
KW  - Sieci (matematyka)
N1  - Na s. przytyt.: 35 lat Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej; Bibliogr. s. 197-207
ER  -