Simulácia digitálnych systémov v NuSMV

Salvato in:

Dettagli Bibliografici
Autore principale:	Tuka, Martin, 1987- (Autore)
Altri autori:	Jelemenská, Katarína, 1962- (Relatore della tesi)
Natura:	Manoscritto Libro
Lingua:	slovacco
Pubblicazione:	STU v Bratislave FIIT, 2009
Soggetti:	počítačové inžinierstvo
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

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