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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Blaha, Peter (Verfasst von)
Weitere Verfasser:	Zelko, Eduard (Betreuung Doktorarbeit)
Format:	Manuskript Buch
Sprache:	Slowakisch
Veröffentlicht:	Bratislava : STU v Bratislave FEI, 1998
Schlagworte:	informatika
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu50151
005	20160719164847.7
008	990706s1998------------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
100	1		\|a Blaha, Peter \|4 aut
245	1		\|a Podporné prostredie pre integráciu formálnych a semiformálnych špecifikačných metód = Formal and semiformal specifocation methods integration support : \|b Dipl.práca
260			\|a Bratislava : \|b STU v Bratislave FEI, \|c 1998
300			\|a 49 s., príl., disketa
650		7	\|a informatika \|2 stusub
700	1		\|a Zelko, Eduard \|4 ths
996			\|b EDIPL-5733 \|c I*DIPL-5733 \|l II680 \|s A \|a 24 \|w stu50151_0001