Podporné prostredie pre integráciu formálnych a semiformálnych špecifikačných metód = Formal and semiformal specifocation methods integration support : Dipl.práca

Saved in:
Bibliographic Details
Main Author: Blaha, Peter (Author)
Other Authors: Zelko, Eduard (Thesis advisor)
Format: Manuscript Book
Language:Slovak
Published: Bratislava : STU v Bratislave FEI, 1998
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!