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...

Quantitative Evaluation of Systems, Fachbücher

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

Principles of Distributed Systems, Fachbücher

Pattern Recognition and Image Analysis, Fachbücher

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

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