Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback)
(No ratings yet)
Key item features
- Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback)
- Author: Springer
- ISBN: 9783030309220
- Format: Paperback
- Publication Date: 2019-09-14
- Page Count: 261
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pages261
- Series titleNo Series
- Number in series11636
Current price is USD$54.99
Price when purchased online
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Thu, Apr 23
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.3544303797468356 stars out of 5, based on 237 seller reviews(4.4)237 seller reviews
Free 30-day returns
About this item
Product details
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
- Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings, (Paperback)
- Author: Springer
- ISBN: 9783030309220
- Format: Paperback
- Publication Date: 2019-09-14
- Page Count: 261
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pages
261
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Computational Science - Iccs 2018: 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I, (Paperback) $54.99
$5499current price $54.99Computational Science - Iccs 2018: 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I, (Paperback)
Service-Oriented Computing: 10th International Conference, Icsoc 2012, Shanghai, China, November 12-15, 2012, Proceeding, (Paperback) $54.99
$5499current price $54.99Service-Oriented Computing: 10th International Conference, Icsoc 2012, Shanghai, China, November 12-15, 2012, Proceeding, (Paperback)
Theory and Applications of Models of Computation: 10th International Conference, Tamc 2013, Hong Kong, China, May 20-22,, (Paperback) $54.99
$5499current price $54.99Theory and Applications of Models of Computation: 10th International Conference, Tamc 2013, Hong Kong, China, May 20-22,, (Paperback)
Smart Health: International Conference, Icsh 2019, Shenzhen, China, July 1-2, 2019, Proceedings, (Paperback) $54.99
$5499current price $54.99Smart Health: International Conference, Icsh 2019, Shenzhen, China, July 1-2, 2019, Proceedings, (Paperback)
Communications in Computer and Informati Asiasim 2012: Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I, Book 323, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Asiasim 2012: Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I, Book 323, (Paperback)
Hybrid Learning: 5th International Conference, Ichl 2012, Guangzhou, China, August 13-15, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Hybrid Learning: 5th International Conference, Ichl 2012, Guangzhou, China, August 13-15, 2012, Proceedings, (Paperback)
Information Retrieval: 23rd China Conference, Ccir 2017, Shanghai, China, July 13-14, 2017, Proceedings, (Paperback) $54.99
$5499current price $54.99Information Retrieval: 23rd China Conference, Ccir 2017, Shanghai, China, July 13-14, 2017, Proceedings, (Paperback)
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback) $54.99
$5499current price $54.99Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings, (Paperback)
Graph-Based Representations in Pattern Recognition: 10th Iapr-Tc-15 International Workshop, Gbrpr 2015, Beijing, China, , (Paperback) $54.99
$5499current price $54.99Graph-Based Representations in Pattern Recognition: 10th Iapr-Tc-15 International Workshop, Gbrpr 2015, Beijing, China, , (Paperback)
Advances in Brain Inspired Cognitive Systems: 6th International Conference, Bics 2013, Beijing, China, June 9-11, 2013. , (Paperback) $54.99
$5499current price $54.99Advances in Brain Inspired Cognitive Systems: 6th International Conference, Bics 2013, Beijing, China, June 9-11, 2013. , (Paperback)
Trusted Systems: 7th International Conference, Intrust 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers, (Paperback) $62.55
$6255current price $62.55Trusted Systems: 7th International Conference, Intrust 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers, (Paperback)
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings, (Paperback) $60.29
$6029current price $60.29ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings, (Paperback)
Computational Science and Its Applications - Iccsa 2016: 16th International Conference, Beijing, China, July 4-7, 2016, , (Paperback) $56.14
$5614current price $56.14Computational Science and Its Applications - Iccsa 2016: 16th International Conference, Beijing, China, July 4-7, 2016, , (Paperback)
Web-Age Information Management: 16th International Conference, Waim 2015, Qingdao, China, June 8-10, 2015. Proceedings, (Paperback) $64.60
$6460current price $64.60Web-Age Information Management: 16th International Conference, Waim 2015, Qingdao, China, June 8-10, 2015. Proceedings, (Paperback)
Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings, (Paperback) $54.99
$5499current price $54.99Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013, Proceedings, (Paperback)
Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback) $54.99
$5499current price $54.99Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback)
Web and Internet Economics: 10th International Conference, Wine 2014, Beijing, China, December 14-17, 2014, Proceedings, (Paperback) $62.94
$6294current price $62.94Web and Internet Economics: 10th International Conference, Wine 2014, Beijing, China, December 14-17, 2014, Proceedings, (Paperback)
Web-Age Information Management: 14th International Conference, Waim 2013, Beidaihe, China, June 14-16, 2013. Proceedings, (Paperback) $54.99
$5499current price $54.99Web-Age Information Management: 14th International Conference, Waim 2013, Beidaihe, China, June 14-16, 2013. Proceedings, (Paperback)
Image and Graphics: 10th International Conference, Icig 2019, Beijing, China, August 23-25, 2019, Proceedings, Part III, (Paperback) $54.99
$5499current price $54.99Image and Graphics: 10th International Conference, Icig 2019, Beijing, China, August 23-25, 2019, Proceedings, Part III, (Paperback)
Communications in Computer and Informati Global Design and Local Materialization: 15th International Conference, Caad Futures 2013, Shanghai, China, July 3-5, 20, Book 369, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Global Design and Local Materialization: 15th International Conference, Caad Futures 2013, Shanghai, China, July 3-5, 20, Book 369, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
