Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL

Guardado en:

Detalles Bibliográficos
Autor principal:	Maron, Ľubomír, 1988- (Autor)
Otros Autores:	Macko, Dominik, 1988- (Orientador)
Formato:	Manuscrito Libro
Lenguaje:	eslovaco
Publicado:	Bratislava : STU v Bratislave FIIT, 2013
Materias:	Computer and Communication Systems and Networks počítačové a komunikačné systémy a siete
Acceso en línea:	VAIS
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu275529
005	20160211163406.0
008	131003s2013----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Maron, Ľubomír, \|d 1988- \|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 56233 \|U I100 \|Y 178 \|7 A000056233
242	0	0	\|a Formal verification of the refined specification in HSSL \|y eng
245	1		\|a Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL
260			\|a Bratislava : \|b STU v Bratislave FIIT, \|c 2013
300			\|a 45 s \|c príl.
650		7	\|a Computer and Communication Systems and Networks \|2 estusub
650		7	\|a počítačové a komunikačné systémy a siete \|2 stusub
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=91273 \|3 VAIS
996			\|b IDP24/13 \|c I*DP24/13 \|l II680 \|s P \|a 0 \|w stu275529_0001