Simulátor formálnych výpočtových strojov

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sedlář, Jakub (Verfasst von)
Weitere Verfasser:	Chudá, Daniela (Betreuung Doktorarbeit)
Format:	Manuskript Buch
Sprache:	Slowakisch
Veröffentlicht:	2018
Schlagworte:	automaty simulácia simulátor formálne výpočtové stroje automata simulation abstract machines simulator
Online-Zugang:	http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=123008
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stuzp70316
003	SK-STU
005	20190227151416.2
007	ta
008	150427s2015----xo-----f-mn---000-0-slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Sedlář, Jakub \|u 070200 \|4 aut \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav informatiky, informačných systémov a softvérového inžinierstva \|X 79728 \|U I200 \|Y 179 \|7 79728
242	0	1	\|a Simulator of Abstract Machines \|y eng
245	1	0	\|a Simulátor formálnych výpočtových strojov
260			\|c 2018
300			\|a 36 s., príl. \|e CD-rom
650		4	\|a automaty \|2 slo
650		4	\|a simulácia \|2 slo
650		4	\|a simulátor \|2 slo
650		4	\|a formálne výpočtové stroje \|2 slo
650		4	\|a automata \|2 eng
650		4	\|a simulation \|2 eng
650		4	\|a abstract machines \|2 eng
650		4	\|a simulator \|2 eng
700	1		\|a Chudá, Daniela \|u 070200 \|k Z1 \|4 ths \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav informatiky, informačných systémov a softvérového inžinierstva \|X 38061 \|U I200 \|Y 179 \|7 000038061
856	4		\|u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=123008
996			\|b IZP20180122 \|c I*BAP130/18 \|l II680 \|s P \|a 0 \|w stuzp70316_0001