Liknande böcker

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, U...
Bok av Francesco. Logozzo
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, Fra...
Bok av Radhia. Cousot
Automatic fence insertion in integer programs via predicate abstraction...
Bok av Antoine. Miné
Fundamental Approaches to Software Engineering : 18th International Conf...
Bok av Alexander. Egyed
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Sha...
Bok av Kazunori. Ueda
Implementation and Application of Functional Languages : 23rd Internatio...
Bok av Andy. Gill
Integrated Formal Methods : 10th International Conference, IFM 2013, Tur...
Bok av Einar Broch. Johnsen

Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Bok av Markus. Müller-Olm