Suchergebnisse: Verfasser :: Library Catalog

1
Formal logical methods for system security and correctness

Veröffentlicht 2008
Weitere Verfasser: “… Pfaller, Christian …”

Signatur: Wird geladen …
Standort: Wird geladen …

An electronic book accessible through the World Wide Web; click to view

Elektronisch Tagungsbericht E-Book
QR-Code
Datensatz separat aufrufen
Zu den Favoriten

Gespeichert in: