Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki , Stefan Edelkamp
Pas encore d'évaluations
2007 · Anglais · Broché
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