Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von Byron Cook

3. Januar 2007

Cover for Byron Cook · Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Theoretical Computer Science and General Issues (Taschenbuch) [2007 edition] (2007)
Taschenbuch
2007 edition
Verification, Model Checking, an...
Byron Cook