Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo

Verification, Model Checking, and Abstract Interpretation, Fachbücher

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Kenneth McMillan, Xavier Rival

Knowledge Science, Engineering and Management, Fachbücher von Weiru Liu, Bo Yang, Fausto Giunchiglia

Language and Automata Theory and Applications, Fachbücher

High Performance Embedded Architectures and Compilers, Fachbücher von Yale N. Patt, Paola Faraboschi, Xavier Tort-Martor...

Formal Modeling and Analysis of Timed Systems, Fachbücher von Sriram Sankaranarayanan

Intelligent Data Engineering and Automated Learning – IDEAL 2018, Fachbücher von Paulo Novais, Hujun Yin, Antonio J. Tal...

Cooperative Design, Visualization, and Engineering, Fachbücher von Yuhua Luo

Integration of AI and OR Techniques in Constraint Programming, Fachbücher von Helmut Simonis

Biometric ID Management and Multimodal Communication, Fachbücher von Julian Fierrez, Anna Esposito, Marcos Faundez-Zanuy...

System Analysis and Modeling: Models and Reusability, Fachbücher von Gunter Mussbacher

Inclusive Society: Health and Wellbeing in the Community, and Care at Home, Fachbücher von Jit Biswas, Hisato Kobayashi

Wireless Sensor Networks, Fachbücher von Bhaskar Krishnamachari, Niki Trigoni, Amy L. Murphy

Pattern Recognition and Image Analysis, Fachbücher

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...