On the correctness of operating system kernels
Author / Editor: Gargano, Mauro ; Paul, Wolfgang J.
Author / Editor: Gargano, Mauro ; Paul, Wolfgang J.
Place of publication:
Berlin [u.a.] |
Year of Publication:
2005 |
Publisher:
Springer
Call number: Bibliothek der TU München 0102/DAT 001z 2001 A 999-3603#S.1-16
Call number: Bibliothek der TU München 0102/DAT 001z 2001 A 999-3603#S.1-16
[Search within document] [PDF-Download]
No Result
- Check if keywords are spelled correctly.
- Try more general search words.
- Enter different search words.
- Try spelling with hyphen.