Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Marco Bernardo , Ferruccio Damiani , Reiner Haehnle
Noch keine Bewertungen
May 21, 2014 · Englisch · Taschenbuch (351 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