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
Nog geen beoordelingen
May 21, 2014 · Engels · Paperback (351 pagina's)
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren

Recensies

Nog geen beoordelingen

Wees de eerste om dit boek te recenseren en deel je gedachten

Inloggen om te Beoordelen
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren