Theoretical Aspects of Computing - ICTAC 2008
29,50 €
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings. A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules - Peleska, Jan - Pages 3-22.
Jetzt bei Ebay:
