Total Books: 1 - 2 /2
Principles and Practice of Constraint Programming - CP 2002
This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Total Books: 1 - 2 /2
