Tackling OS Complexity with Declarative Techniques
| Autor: | Schüpbach, Adrian L. |
|---|---|
| Přispěvatelé: | Roscoe, Timothy, Alonso, Gustavo |
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: |
PROZESSORARCHITEKTUREN + RECHNERARCHITEKTUREN (COMPUTERSYSTEME)
DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) SYSTEMPROGRAMMIERUNG (BETRIEBSSYSTEME) SYSTEMS PROGRAMMING (OPERATING SYSTEMS) PROCESSOR ARCHITECTURES + COMPUTER ARCHITECTURES (COMPUTER SYSTEMS) DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS) Data processing computer science ddc:004 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|