Techniki opisu formalnego systemów informatycznych czasu rzeczywistego /
Techniki opisu
Jan Magott.
- Warszawa : Wydawnictwa Komunikacji i Łączności, 2005.
- 207 s. : il. ; 24 cm.
Na s. przytyt.: 35 lat Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej.
Bibliogr. s. 197-207.
8320615771
Czas rzeczywisty (informatyka). Języki programowania. Sieci (matematyka).