A Contribution to Techniques for Building Dependable Operating Systems

Guardado en:
Detalles Bibliográficos
Autor principal: Košík, Matej, 1978- (Autor)
Otros Autores: Šafařík, Jiří, 1952- (Orientador)
Formato: Manuscrito Libro
Lenguaje:inglés
Publicado: Bratislava : STU v Bratislave FIIT, 2011
Materias:
Acceso en línea:VAIS
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

MARC

LEADER 00000ntm a22000003a 4500
001 stu242257
005 20180423133852.3
008 120124s2011----xo------------------eng-d
040 |a STU  |b slo 
041 0 |a eng 
044 |a xo 
100 1 |a Košík, Matej,  |d 1978-  |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 4609  |U I200  |Y 179  |7 A000004609 
242 0 0 |a Príspevok k technikám použiteľným na tvorbu spoľahlivých operačných systémov  |y slo 
245 1 |a A Contribution to Techniques for Building Dependable Operating Systems 
260 |a Bratislava :  |b STU v Bratislave FIIT,  |c 2011 
650 7 |a operačné systémy  |2 stusub 
650 7 |a spoľahlivosť  |2 stusub 
700 1 |a Šafařík, Jiří,  |d 1952-  |4 ths  |u I200  |U FIIT Fakulta informatiky a informačných technológií  |T FIIT Ústav informatiky a softvérového inžinierstva  |X 44427  |U I200  |Y 179  |7 A000044427 
856 4 |a info a plný text  |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=45741  |3 VAIS