Formální metody návrhu software aplikované na embedded systémy platformně nezávislý zdrojový kód (3)

Bibliographic Details
Main Authors: Bližňák, Michal (Author), Kolář, Dušan (Author)
Format: Article
Language:Slovak
Czech
Subjects:
Description
Item Description:Ukončenie
Physical Description:Obr., tab.
Bibliography:Bibliogr. odkazy
ISSN:1335-2237