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
2010 · Engels · Paperback · 2 edities
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren

Recensies

Nog geen recensies

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

Inloggen om te Beoordelen
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren