Software Safety and Security: Tools for Analysis and Verification

Tobias Nipkow , Orna Grumberg , Benedikt Hauptmann
Noch keine Bewertungen
2014 · Englisch · Taschenbuch · 3 Ausgaben
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