Špecifikácia v Object-Z

Enregistré dans:

Détails bibliographiques
Auteur principal:	Rástočný, Karol (Auteur)
Autres auteurs:	Komorová, Dagmar, 1944- (Directeur de thèse)
Format:	Manuscrit Livre
Langue:	slovaque
Publié:	STU v Bratislave FIIT, 2009
Sujets:	informatika
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu200304
005	20180221100252.9
008	100302s2009----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Rástočný, Karol \|4 aut \|u I200 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav informatiky a softvérového inžinierstva \|X 36279 \|U I200 \|Y 179 \|7 36279
245	1		\|a Špecifikácia v Object-Z
260			\|b STU v Bratislave FIIT, \|c 2009
300			\|a 53 s \|c príl.
650		7	\|a informatika \|2 stusub
700	1		\|a Komorová, Dagmar, \|d 1944- \|4 ths \|X 1824 \|7 A000001824
996			\|c IBAP170/09 \|l II680 \|s P \|a 0 \|w stu200304_0001