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 Doing Business in Europe by

bigCover of the book Foundations of Information and Knowledge Systems by

bigCover of the book Elite Education and Internationalisation by

bigCover of the book Stakeholders and Information Technology in Education by

bigCover of the book Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications by

bigCover of the book Test of Implicit Associations in Relationship Attitudes (TIARA) by

bigCover of the book American–Australian Cinema by

bigCover of the book International Symposium on Earth and Environmental Sciences for Future Generations by

bigCover of the book Human-Computer Interaction. Recognition and Interaction Technologies by

bigCover of the book Hybrid Soft Computing for Multilevel Image and Data Segmentation by

bigCover of the book Proceedings of the 11th International Congress for Applied Mineralogy (ICAM) by

bigCover of the book Peptidomimetics I by

bigCover of the book Growth Curve Models and Applications by

bigCover of the book Mental Health and Addiction Care in the Middle East 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