Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg , Tobias Nipkow , Christian Pfaller
Noch keine Bewertungen
Mar 15, 2008 · Englisch · Gebundene Ausgabe (332 Seiten)
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren

Rezensionen

Noch keine Rezensionen

Sei der Erste, der dieses Buch rezensiert und deine Gedanken teilt

Anmelden um zu rezensieren
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren