Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

B. Berard , M. Bidoit , A. Finkel
Pas encore d'évaluations
Dec 15, 2010 · Anglais · Broché (202 pages)
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture

Avis

Aucun avis pour le moment

Soyez le premier à donner votre avis sur ce livre et partagez vos pensées

Se connecter pour évaluer
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture