Fachgebiet

Erscheinungsjahrnase: 2005 <a href="/de/fs3/subjectRVK-index/query.html?mode=subjectRVK&amp;person_str=%7BGargano%2C+Mauro%7D%7BPaul%2C+Wolfgang+J.%7D" target="_self">[Filter entfernen]
Autor / Herausgebernase: Gargano, Mauro ; Paul, Wolfgang J. <a href="/de/fs3/subjectRVK-index/query.html?pubYear=%7B2005%7D&amp;mode=subjectRVK" target="_self">[Filter entfernen]

A
B
- Biologie
C
- Chemie und Pharmazie
E
- Ethnologie
G
I
- Informatik
K
L
- Land- und Forstwirtschaft. Gartenbau. Fischereiwirtschaft. Hauswirtschaft
M
P
R
- Rechtswissenschaft
- Romanistik
S
- Soziologie
T
- Technik
- Theologie und Religionswissenschaften
W
- Wirtschaftswissenschaften

1 Treffer in 0.006 Sek.

On the correctness of operating system kernels [Relevanz: 100%]
Autor / Herausgeber: Gargano, Mauro; Paul, Wolfgang J. | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2005 | 16 S.
Zeitschrift / Sammelband: Theorem proving in higher order logics
Fachgebiet: Informatik

[Suche in der Publikation] [PDF-Download]