Integrácia formálnych a semiformálnych špecifikačných metód

Saved in:
Bibliographic Details
Main Author: Janošík, Jozef, 1987- (Author)
Other Authors: Komorová, Dagmar, 1944- (Thesis advisor)
Format: Manuscript Book
Language:Slovak
Published: STU v Bratislave FIIT, 2009
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!