Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 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

More books from Springer International Publishing

bigCover of the book An Introduction to Random Currents and Their Applications by

bigCover of the book Intelligent Systems Design and Applications by

bigCover of the book Understanding Educational Psychology by

bigCover of the book Boundary and Interior Layers, Computational and Asymptotic Methods BAIL 2016 by

bigCover of the book Smart Cities of Today and Tomorrow by

bigCover of the book Fracture, Fatigue, Failure and Damage Evolution, Volume 7 by

bigCover of the book Knowledge Transfer between Computer Vision and Text Mining by

bigCover of the book Innovations for Community Services by

bigCover of the book Language Policy and Language Acquisition Planning by

bigCover of the book Competence Based Education and Training (CBET) and the End of Human Learning by

bigCover of the book Breeding Grasses and Protein Crops in the Era of Genomics by

bigCover of the book Biomechatronics in Medical Rehabilitation by

bigCover of the book Small-Gauge Vitrectomy for Diabetic Retinopathy by

bigCover of the book Scientific Computing in Electrical Engineering 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