Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Automated Technology for Verification and Analysis

More books from Springer International Publishing

bigCover of the book The Law of the Baltic States by

bigCover of the book Global Free Expression - Governing the Boundaries of Internet Content by

bigCover of the book Design for Teaching and Learning in a Networked World by

bigCover of the book Sexuality, Iconography, and Fiction in French by

bigCover of the book Approaching the Kannan-Lovász-Simonovits and Variance Conjectures by

bigCover of the book Optimal Stochastic Control Schemes within a Structural Reliability Framework by

bigCover of the book Does Generation Matter? Progressive Democratic Cultures in Western Europe, 1945–1960 by

bigCover of the book Micro and Precision Manufacturing by

bigCover of the book International Perspectives on the Theory and Practice of Environmental Education: A Reader by

bigCover of the book The Sports Business in The Pacific Rim by

bigCover of the book Techniques for Evaluating the Differences in Multiregional Input-Output Databases by

bigCover of the book Online Intermediaries for Co-Creation by

bigCover of the book Applications and Usability of Interactive Television by

bigCover of the book Developments and Advances in Defense and Security by

bigCover of the book Reframing Blackness and Black Solidarities through Anti-colonial and Decolonial Prisms by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy