Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)
Product Description
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)
Technical Specifications
You might also like
The Right to Silence in Transnational Criminal Proceedings: Comparative Law Perspectives
Bronislaw Malinowski's Concept of Law
Alessandro Torlonia: The Pope’s Banker (Palgrave Studies in the History of Finance)
Paradoxes of Conflicts (Logic, Argumentation & Reasoning, 12)
European Sexual Citizenship: Human Rights, Bodies and Identities
Advances in The Human Side of Service Engineering: Proceedings of the AHFE 2016 International Conference on The Human Side of Service Engineering, ... in Intelligent Systems and Computing, 494)
Advances in Human Factors in Cybersecurity: Proceedings of the AHFE 2016 International Conference on Human Factors in Cybersecurity, July 27-31, 2016, ... in Intelligent Systems and Computing, 501)
Toward New Democratic Imaginaries - İstanbul Seminars on Islam, Culture and Politics (Philosophy and Politics - Critical Explorations, 2)