Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2, (Paperback)
(No ratings yet)
Key item features
- Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2, (Paperback)
- Author: Springer
- ISBN: 9783319681665
- Format: Paperback
- Publication Date: 2017-10-04
- Page Count: 482
Specs
- Manual & guide typeInstruction Manual
- Book formatPaperback
- Edition2017 Edition
- Pages482
- LanguageEnglish
- BrandDeepak D'Souza
Current price is USD$60.29
Price when purchased online
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Wed, Apr 22
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.348936170212766 stars out of 5, based on 235 seller reviews(4.3)235 seller reviews
Free 30-day returns - in store or online
About this item
Product details
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
- Automated Technology for Verification and Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2, (Paperback)
- Author: Springer
- ISBN: 9783319681665
- Format: Paperback
- Publication Date: 2017-10-04
- Page Count: 482
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
Manual & guide type
Instruction Manual
Book format
Paperback
Edition
2017 Edition
Pages
482
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
Engineering Psychology and Cognitive Ergonomics: 13th International Conference, Epce 2016, Held as Part of Hci Internati, (Paperback) $54.99
$5499current price $54.99Engineering Psychology and Cognitive Ergonomics: 13th International Conference, Epce 2016, Held as Part of Hci Internati, (Paperback)
Lecture Notes of the Institute for Compu Intelligent Transport Systems. from Research and Development to the Market Uptake: Third Eai International Conference, I, Book 310, (Paperback) $54.99
$5499current price $54.99Lecture Notes of the Institute for Compu Intelligent Transport Systems. from Research and Development to the Market Uptake: Third Eai International Conference, I, Book 310, (Paperback)
Lecture Notes in Computer Science Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira, Book 2844, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira, Book 2844, (Paperback)
Computational Methods in Systems Biology: 15th International Conference, Cmsb 2017, Darmstadt, Germany, September 27-29,, (Paperback) $60.29
$6029current price $60.29Computational Methods in Systems Biology: 15th International Conference, Cmsb 2017, Darmstadt, Germany, September 27-29,, (Paperback)
Provable Security: 11th International Conference, Provsec 2017, Xi'an, China, October 23-25, 2017, Proceedings, (Paperback) $56.14
$5614current price $56.14Provable Security: 11th International Conference, Provsec 2017, Xi'an, China, October 23-25, 2017, Proceedings, (Paperback)
Distributed, Ambient and Pervasive Interactions: 5th International Conference, Dapi 2017, Held as Part of Hci Internatio, (Paperback) $60.29
$6029current price $60.29Distributed, Ambient and Pervasive Interactions: 5th International Conference, Dapi 2017, Held as Part of Hci Internatio, (Paperback)
Software Language Engineering: First International Conference, Sle 2008 Toulouse, France, September 29-30, 2008, Revised, (Paperback) $54.99
$5499current price $54.99Software Language Engineering: First International Conference, Sle 2008 Toulouse, France, September 29-30, 2008, Revised, (Paperback)
Applied Cryptography and Network Security: 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011, Proce, (Paperback) $54.99
$5499current price $54.99Applied Cryptography and Network Security: 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011, Proce, (Paperback)
Computational Geometry, Graphs and Applications: International Conference, CGGA 2010, Dalian, China, November 3-6, 2010,, (Paperback) $54.99
$5499current price $54.99Computational Geometry, Graphs and Applications: International Conference, CGGA 2010, Dalian, China, November 3-6, 2010,, (Paperback)
Lecture Notes in Computer Science Financial Cryptography: Second International Conference, Fc'98, Anguilla, British West Indies, February 23-25, 1998, Book 1465, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Financial Cryptography: Second International Conference, Fc'98, Anguilla, British West Indies, February 23-25, 1998, Book 1465, (Paperback)
Smart Health: International Conference, Icsh 2016, Haikou, China, December 24-25, 2016, Revised Selected Papers, (Paperback) $60.29
$6029current price $60.29Smart Health: International Conference, Icsh 2016, Haikou, China, December 24-25, 2016, Revised Selected Papers, (Paperback)
Information Computing and Applications: Second International Conference, Icica 2011, Qinhuangdao, China, October 28-31, , (Paperback) $54.99
$5499current price $54.99Information Computing and Applications: Second International Conference, Icica 2011, Qinhuangdao, China, October 28-31, , (Paperback)
Lecture Notes in Computer Science Static Analysis: 10th International Symposium, SAS 2003, San Diego, Ca, Usa, June 11-13, 2003. Proceedings, Book 2694, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Static Analysis: 10th International Symposium, SAS 2003, San Diego, Ca, Usa, June 11-13, 2003. Proceedings, Book 2694, (Paperback)
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, Sou, (Paperback) $60.29
$6029current price $60.29Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, Sou, (Paperback)
Lecture Notes in Computer Science Advances in Cryptology - Eurocrypt '96: International Conference on the Theory and Application of Cryptographic Techniqu, Book 1070, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Advances in Cryptology - Eurocrypt '96: International Conference on the Theory and Application of Cryptographic Techniqu, Book 1070, (Paperback)
Lecture Notes of the Institute for Compu Intelligent Technologies for Interactive Entertainment: 5th International Icst Conference, Intetain 2013, Mons, Belgium,, Book 124, (Paperback) $54.97
$5497current price $54.97Lecture Notes of the Institute for Compu Intelligent Technologies for Interactive Entertainment: 5th International Icst Conference, Intetain 2013, Mons, Belgium,, Book 124, (Paperback)
Lecture Notes in Computer Science Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceed, Book 2183, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceed, Book 2183, (Paperback)
Graduate Texts in Mathematics Introduction to Operator Theory I: Elements of Functional Analysis, Book 55, (Paperback) $54.99
$5499current price $54.99Graduate Texts in Mathematics Introduction to Operator Theory I: Elements of Functional Analysis, Book 55, (Paperback)
Advances in Neural Networks - Isnn 2014: 11th International Symposium on Neural Networks, Isnn 2014, Hong Kong and Macao, (Paperback) $60.29
$6029current price $60.29Advances in Neural Networks - Isnn 2014: 11th International Symposium on Neural Networks, Isnn 2014, Hong Kong and Macao, (Paperback)
Routledge Studies in Conflict, Security Emerging Technologies and International Security: Machines, the State, and War, (Paperback) $51.88
$5188current price $51.88Routledge Studies in Conflict, Security Emerging Technologies and International Security: Machines, the State, and War, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Automotive Technician Certifications
- Automobile Certification
- High Tech Innovation
- High Frequency Algorithmic Trading
- Transportation Law Books
- Service Innovation
- Health Analytics
- Natural Resources Law Books
- Automobile Industry Books
- Service Industry Books
- Public Utilities Law Books
- Media & Communications Industry Books