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
Inga betyg ännu
2014 · Engelska · Pocketbok
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal

Recensioner

Inga recensioner ännu

Bli den första att recensera denna bok och dela dina tankar

Logga in för att recensera
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal