Integrácia formálnych a semiformálnych špecifikačných metód

Na minha lista:

Detalhes bibliográficos
Autor principal:	Janošík, Jozef, 1987- (Author)
Outros Autores:	Komorová, Dagmar, 1944- (Thesis advisor)
Formato:	Manuscrito Livro
Idioma:	eslovaco
Publicado em:	STU v Bratislave FIIT, 2009
Assuntos:	informatika
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu194108
005	20180219131903.4
008	091026s2009----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Janošík, Jozef, \|d 1987- \|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 36222 \|U I200 \|Y 179 \|7 A000036222
245	1		\|a Integrácia formálnych a semiformálnych špecifikačných metód
260			\|b STU v Bratislave FIIT, \|c 2009
300			\|a 28 s
650		7	\|a informatika \|2 stusub
700	1		\|a Komorová, Dagmar, \|d 1944- \|4 ths \|X 1824 \|7 A000001824
996			\|c I*BAP69/09 \|l II680 \|s P \|a 0 \|w stu194108_0001