Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedi, (Paperback)
(No ratings yet)
Key item features
- Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedi, (Paperback)
- Author: Springer
- ISBN: 9783319216676
- Format: Paperback
- Publication Date: 2015-07-23
- Page Count: 469
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2015-07-23
- Pages469
- SubgenreProgramming
Current price is USD$54.99
Price when purchased online
Out of stock
How do you want your item?
Out of stock
About this item
Product details
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.
The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
- Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedi, (Paperback)
- Author: Springer
- ISBN: 9783319216676
- Format: Paperback
- Publication Date: 2015-07-23
- Page Count: 469
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
Pub date
2015-07-23
Similar items you might like
Based on what customers bought
Medical Image Computing and Computer-Assisted Intervention -- Miccai 2012: 15th International Conference, Nice, France, , (Paperback) $54.99
$5499current price $54.99Medical Image Computing and Computer-Assisted Intervention -- Miccai 2012: 15th International Conference, Nice, France, , (Paperback)
Runtime Verification: Second International Conference, RV 2011, San Francisco, Usa, September 27-30, 2011, Revised Selec, (Paperback) $54.99
$5499current price $54.99Runtime Verification: Second International Conference, RV 2011, San Francisco, Usa, September 27-30, 2011, Revised Selec, (Paperback)
Best seller Official Red Book The Official Red Book(r) a Guide Book of United States Coins, 2026, (Spiral-Bound) $16.71
Best seller
$1671current price $16.71Official Red Book The Official Red Book(r) a Guide Book of United States Coins, 2026, (Spiral-Bound)
1764.6 out of 5 Stars. 176 reviewsComputer Aided Verification: 24th International Conference, Cav 2012, Berkeley, Ca, Usa, July 7-13, 2012 Proceedings, (Paperback) $54.99
$5499current price $54.99Computer Aided Verification: 24th International Conference, Cav 2012, Berkeley, Ca, Usa, July 7-13, 2012 Proceedings, (Paperback)
Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback) $56.14
$5614current price $56.14Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback)
Hybrid Systems: Computation and Control: 12th International Conference, Hscc 2009, San Francisco, Ca, Usa, April 13-15, , (Paperback) $54.99
$5499current price $54.99Hybrid Systems: Computation and Control: 12th International Conference, Hscc 2009, San Francisco, Ca, Usa, April 13-15, , (Paperback)
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Procee, (Paperback) $54.99
$5499current price $54.99Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Procee, (Paperback)
Network and System Security: 9th International Conference, Nss 2015, New York, Ny, Usa, November 3-5, 2015, Proceedings, (Paperback) $54.99
$5499current price $54.99Network and System Security: 9th International Conference, Nss 2015, New York, Ny, Usa, November 3-5, 2015, Proceedings, (Paperback)
Social, Cultural, and Behavioral Modeling: 10th International Conference, Sbp-Brims 2017, Washington, DC, Usa, July 5-8,, (Paperback) $54.99
$5499current price $54.99Social, Cultural, and Behavioral Modeling: 10th International Conference, Sbp-Brims 2017, Washington, DC, Usa, July 5-8,, (Paperback)
Concur 2005 - Concurrency Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, (Paperback) $56.14
$5614current price $56.14Concur 2005 - Concurrency Theory: 16th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, (Paperback)
Data Integration in the Life Sciences: Second International Workshop, Dils 2005, San Diego, Ca, Usa, July 20-22, 2005, P, (Paperback) $56.14
$5614current price $56.14Data Integration in the Life Sciences: Second International Workshop, Dils 2005, San Diego, Ca, Usa, July 20-22, 2005, P, (Paperback)
Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, (Paperback) $54.99
$5499current price $54.99Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, (Paperback)
Scalable Uncertainty Management: 7th International Conference, Sum 2013, Washington, DC, Usa, September 16-18, 2013, Pro, (Paperback) $54.99
$5499current price $54.99Scalable Uncertainty Management: 7th International Conference, Sum 2013, Washington, DC, Usa, September 16-18, 2013, Pro, (Paperback)
Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback) $54.99
$5499current price $54.99Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, (Paperback)
Scalable Uncertainty Management: Third International Conference, Sum 2009, Washington, DC, Usa, September 28-30, 2009, P, (Paperback) $54.99
$5499current price $54.99Scalable Uncertainty Management: Third International Conference, Sum 2009, Washington, DC, Usa, September 28-30, 2009, P, (Paperback)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings, (Paperback) $54.99
$5499current price $54.99Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings, (Paperback)
Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback) $54.99
$5499current price $54.99Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback)
Practical Aspects of Declarative Languages: 10th International Symposium, Padl 2008, San Francisco, Ca, Usa, January 7-8, (Paperback) $54.99
$5499current price $54.99Practical Aspects of Declarative Languages: 10th International Symposium, Padl 2008, San Francisco, Ca, Usa, January 7-8, (Paperback)
Uicc Monograph Proceedings of the 9th International Cancer Congress: Tokyo October 1966, Panel Discussions, Book 10, (Paperback) $54.99
$5499current price $54.99Uicc Monograph Proceedings of the 9th International Cancer Congress: Tokyo October 1966, Panel Discussions, Book 10, (Paperback)
Graph Drawing: 17th International Symposium, GD 2009, Chicago, Il, Usa, September 22-25, 2009. Revised Papers, (Paperback) $54.99
$5499current price $54.99Graph Drawing: 17th International Symposium, GD 2009, Chicago, Il, Usa, September 22-25, 2009. Revised Papers, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
