Paperback Book
Mostrar itens não disponíveis

Lançamentos por Byron Cook

3 de janeiro de 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 (Paperback Book) [2007 edition] (2007)
Paperback Book
2007 edition
Verification, Model Checking, an...
Byron Cook