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
May 21, 2014 · Engelska · Pocketbok (351 sidor)
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