Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Formal methods (Computer science)
Fault-tolerant computing
Computer software
System analysis
Operating systems (Computers)
Electronic Data Processing
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Méthodes formelles (Informatique)
Tolérance aux fautes (Informatique)
Logiciels
Analyse de systèmes
Informatique.
Systèmes d'exploitation (Ordinateurs)
computer science.
data processing.
operating systems.
Computer science.
Software engineering.
Logic design.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.