A Contribution to Techniques for Building Dependable Operating Systems

Na minha lista:
Detalhes bibliográficos
Autor principal: Košík, Matej, 1978- (Author)
Outros Autores: Šafařík, Jiří, 1952- (Thesis advisor)
Formato: Manuscrito Livro
Idioma:inglês
Publicado em: Bratislava : STU v Bratislave FIIT, 2011
Assuntos:
Acesso em linha:VAIS
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

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