Thumbnails
Document Outline
Attachments
Vorherige
Nächste
Hervorheben
Groß-/Kleinschreibung
Presentation Mode
Print
Download
Current View
Erste Seite anzeigen
Letzte Seite anzeigen
Im Uhrzeigersinn drehen
Gegen Uhrzeigersinn drehen
Hand-Werkzeug
Dokumenteigenschaften…
Sidebar umschalten
Suchen
Zurück
Nächste
Formal Refinement for Operating System Kernels
eBook kaufen
Präsentationsmodus
Drucken
Dokument speichern
Aktuelle Ansicht
Werkzeuge
Verkleinern
Vergrößern
Automatischer Zoom
Originalgröße
Seitengröße
Seitenbreite
50%
75%
100%
125%
150%
200%
300%
400%
Mehr Information
Weniger Information
Schließen
Passwort zum Öffnen der PDF-Datei eingeben:
Cancel
OK
Dateiname:
-
Dateigröße:
-
Titel:
-
Autor:
-
Thema:
-
Stichwörter:
-
Erstelldatum:
-
Bearbeitungsdatum:
-
Anwendung:
-
PDF erstellt mit:
-
PDF-Version:
-
Seitenzahl:
-
Schließen
Dokument zum drucken vorbereiten…
0%
Abbruch