21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).
Köp båda 2 för 950 krStatic analysis.- Including abstract interpretation.- Abstract testing.- Bug detection.- Data flow analysis.- Model checking.- Program transformation.- Program verification.- Security analysis.- Type checking.