Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, 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

More books from Springer International Publishing

bigCover of the book Polymer Mechanochemistry by

bigCover of the book Defect Sizing Using Non-destructive Ultrasonic Testing by

bigCover of the book Mutual Recognition of Judicial Decisions in European Criminal Law by

bigCover of the book Evolution of Metal Casting Technologies by

bigCover of the book Controller Tuning with Evolutionary Multiobjective Optimization by

bigCover of the book How Free Cationic Polymer Chains Promote Gene Transfection by

bigCover of the book Novel Foods in the European Union by

bigCover of the book Intergenerational Transmission of Child Maltreatment by

bigCover of the book Targeting Oral Cancer by

bigCover of the book Advances in Swarm Intelligence by

bigCover of the book From Bioinspired Systems and Biomedical Applications to Machine Learning by

bigCover of the book Cybernetics and Automation Control Theory Methods in Intelligent Algorithms by

bigCover of the book Resistance Behavior to National eHealth Implementation Programs by

bigCover of the book Intervention Effectiveness Research: Quality Improvement and Program Evaluation by

bigCover of the book Climate Change in the Asia-Pacific Region 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