Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig

Hendrik Tews, Hermann Härtig and Michael Hohmuth

V-fiasco - towards a provably correct μ kernel [My-kernel]

Dresden: TU, Fak. Informatik, 2001

Title

V-fiasco - towards a provably correct μ kernel [My-kernel] / Hendrik Tews, Hermann Härtig und Michael Hohmuth. [Technische Universität Dresden, Fakultät Informatik]

Involved 

Hendrik Tews (Verfasser)
Hermann Härtig (Verfasser)
Michael Hohmuth (Verfasser)

Published

Dresden: TU, Fak. Informatik
2001

Extent

6 Bl.

Language

Englisch

Topic

Informatik

Series

Technische Berichte / Technische Universität Dresden, Fakultät Informatik = Technical reports / Technische Universität Dresden, Fakultät Informatik ; 2001,01

Record ID

961168544
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal