Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Product Description
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Technical Specifications
You might also like
Reasoning and Public Health: New Ways of Coping with Uncertainty
Behind a Veil of Ignorance? (Studies in Public Choice, 32)
Immigrant Vulnerability and Resilience: Comparative Perspectives on Latin American Immigrants During the Great Recession (International Perspectives on Migration, 11)
Spatial Mobility of Migrant Workers in Beijing, China
Strategies Towards the New Sustainability Paradigm: Managing the Great Transition to Sustainable Global Democracy
Berichte zur Lebensmittelsicherheit 2013: Monitoring (BVL-Reporte, 9.3) (German Edition)
The Sub-national Dimension of the EU: A Legal Study of Multilevel Governance
Process Analysis and Simulation in Chemical Engineering