Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard , M. Bidoit , A. Finkel
Nog geen beoordelingen
Dec 15, 2010 · Engels · Paperback (202 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