Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tkáč, Samuel, 1992- (Verfasst von)
Weitere Verfasser:	Macko, Dominik, 1988- (Betreuung Doktorarbeit)
Format:	Manuskript Buch
Sprache:	Slowakisch
Veröffentlicht:	Bratislava : STU v Bratislave FIIT, 2014
Schlagworte:	počítačové a komunikačné systémy a siete Computer and Communication Systems and Networks
Online-Zugang:	VAIS
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu293900
005	20160211163600.1
008	140712s2014----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Tkáč, Samuel, \|d 1992- \|4 aut \|u I \|T FIIT Fakulta informatiky a informačných technológií \|X 46257 \|U I \|Y 70 \|7 A000046257
242	0	0	\|a Equivalence checking of hardware designs using mathematical logic \|y eng
245	1		\|a Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky
260			\|a Bratislava : \|b STU v Bratislave FIIT, \|c 2014
300			\|a 46 s \|c príl.
650		7	\|a počítačové a komunikačné systémy a siete \|2 stusub
650		7	\|a Computer and Communication Systems and Networks \|2 estusub
700	1		\|a Macko, Dominik, \|d 1988- \|4 ths \|r Z3 \|u I100 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav počítačových systémov a sietí \|X 35524 \|U I100 \|Y 178 \|7 35524
856	4		\|a info a plný text \|u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=88058 \|3 VAIS
996			\|c I*BAP29/14 \|l II680 \|s A \|a 24 \|w stu293900_0001