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
Integrated Waste Management in India: Status and Future Prospects for Environmental Sustainability (Environmental Science)
The Two-Photon Decay of the 11-/2 Isomer of 137Ba and Mixed-Symmetry States of 92,94Zr and 94Mo (Springer Theses)
Economic Inequality and Political Representation in Switzerland (Contributions to Political Science)
The Impact of International Migration: Process and Contemporary Trends in Kyrgyzstan
Stagnation Versus Growth in Europe: Capitalism in the 21st Century
Subjectivity and Selfhood in Medieval and Early Modern Philosophy (Studies in the History of Philosophy of Mind, 16)
Sourcebook in the History of Philosophy of Language: Primary source texts from the Pre-Socratics to Mill (Springer Graduate Texts in Philosophy, 2)
Industrial Applications for Intelligent Polymers and Coatings