Simulácia digitálnych systémov v NuSMV

Enregistré dans:

Détails bibliographiques
Auteur principal:	Tuka, Martin, 1987- (Auteur)
Autres auteurs:	Jelemenská, Katarína, 1962- (Directeur de thèse)
Format:	Manuscrit Livre
Langue:	slovaque
Publié:	STU v Bratislave FIIT, 2009
Sujets:	počítačové inžinierstvo
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu199358
005	20180221125808.9
008	100203s2009----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Tuka, Martin, \|d 1987- \|4 aut \|u I100 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav počítačových systémov a sietí \|X 36291 \|U I100 \|Y 178 \|7 A000036291
245	1		\|a Simulácia digitálnych systémov v NuSMV
260			\|b STU v Bratislave FIIT, \|c 2009
300			\|a 47 s \|c príl.
650		7	\|a počítačové inžinierstvo \|2 stusub
700	1		\|a Jelemenská, Katarína, \|d 1962- \|4 ths \|u I100 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav počítačových systémov a sietí \|X 1867 \|U I100 \|Y 178 \|7 1867
996			\|c I*BAP200/09 \|l II680 \|s P \|a 0 \|w stu199358_0001