Hero image 0 of Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback), 0 of 1
Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback)
(No ratings yet)
Key item features
- Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback)
- Author: Springer
- ISBN: 9783319119359
- Format: Paperback
- Publication Date: 2014-09-29
- Page Count: 430
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateSeptember, 2014
- Pages430
- Series titleNo Series
Current price is USD$60.29
Price when purchased online
Free 30-day returns
How do you want your item?
Ships to
Arrives by Tue, May 26
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.343173431734317 stars out of 5, based on 271 seller reviews(4.3)271 seller reviews
Free 30-day returns
About this item
Product details
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.
The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
- Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback)
- Author: Springer
- ISBN: 9783319119359
- Format: Paperback
- Publication Date: 2014-09-29
- Page Count: 430
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
Publication date
September, 2014
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
Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, Septembe, (Paperback) $54.99
$5499current price $54.99Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, Septembe, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback)
CISM International Centre for Mechanical An Introduction to the Theory of Automata: Course Held at the Department for Automation and Information July 1971, Book 88, (Paperback) $60.29
$6029current price $60.29CISM International Centre for Mechanical An Introduction to the Theory of Automata: Course Held at the Department for Automation and Information July 1971, Book 88, (Paperback)
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-2, (Paperback) $56.14
$5614current price $56.14Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-2, (Paperback)
Communications in Computer and Informati Artificial Life and Intelligent Agents: First International Symposium, Alia 2014, Bangor, Uk, November 5-6, 2014. Revise, Book 519, (Paperback) $63.47
$6347current price $63.47Communications in Computer and Informati Artificial Life and Intelligent Agents: First International Symposium, Alia 2014, Bangor, Uk, November 5-6, 2014. Revise, Book 519, (Paperback)
Algorithmic Learning Theory: 11th International Conference, Alt 2000 Sydney, Australia, December 11-13, 2000 Proceedings, (Paperback) $61.10
$6110current price $61.10Algorithmic Learning Theory: 11th International Conference, Alt 2000 Sydney, Australia, December 11-13, 2000 Proceedings, (Paperback)
AI 2012: Advances in Artificial Intelligence: 25th International Australasian Joint Conference, Sydney, Australia, Decem, (Paperback) $66.07
$6607current price $66.07AI 2012: Advances in Artificial Intelligence: 25th International Australasian Joint Conference, Sydney, Australia, Decem, (Paperback)
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinor, (Paperback) $62.90
$6290current price $62.90Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinor, (Paperback)
Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-, (Paperback) $62.81
$6281current price $62.81Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-, (Paperback)
Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings, (Paperback) $64.15
$6415current price $64.15Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings, (Paperback)
Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 20, (Paperback) $56.14
$5614current price $56.14Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 20, (Paperback)
Proceedings International Symposium on Marine Positioning: U.S. Geological Survey Reston, Va 22092 October 14-17,1986, (Paperback) $54.99
$5499current price $54.99Proceedings International Symposium on Marine Positioning: U.S. Geological Survey Reston, Va 22092 October 14-17,1986, (Paperback)
Lecture Notes in Computer Science Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 20, Book 2991, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 20, Book 2991, (Paperback)
Combinatorial Algorithms: 23rd International Workshop, Iwoca 2012, Krishnankoil, India, July 19-21, 2012, Revised Select, (Paperback) $54.99
$5499current price $54.99Combinatorial Algorithms: 23rd International Workshop, Iwoca 2012, Krishnankoil, India, July 19-21, 2012, Revised Select, (Paperback)
The Application of Cybernetic Analysis to the Study of International Politics, (Paperback) $60.29
$6029current price $60.29The Application of Cybernetic Analysis to the Study of International Politics, (Paperback)
Artificial Life and Computational Intelligence: Second Australasian Conference, Acalci 2016, Canberra, Act, Australia, F, (Paperback) $56.14
$5614current price $56.14Artificial Life and Computational Intelligence: Second Australasian Conference, Acalci 2016, Canberra, Act, Australia, F, (Paperback)
Lecture Notes in Computer Science Distributed Communities on the Web: 4th International Workshop, Dcw 2002 Sydney, Australia, April 3-5, 2002, Revised Pap, Book 2468, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Distributed Communities on the Web: 4th International Workshop, Dcw 2002 Sydney, Australia, April 3-5, 2002, Revised Pap, Book 2468, (Paperback)
Combinatorial Image Analysis: 15th International Workshop, Iwcia 2012, Austin, Tx, Usa, November 28-30, 2012, Proceeding, (Paperback) $54.99
$5499current price $54.99Combinatorial Image Analysis: 15th International Workshop, Iwcia 2012, Austin, Tx, Usa, November 28-30, 2012, Proceeding, (Paperback)
Lecture Notes in Computer Science Mobile Agents: 5th International Conference, Ma 2001 Atlanta, Ga, Usa, December 2-4, 2001 Proceedings, Book 2240, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Mobile Agents: 5th International Conference, Ma 2001 Atlanta, Ga, Usa, December 2-4, 2001 Proceedings, Book 2240, (Paperback)
Radio Frequency Identification and Iot Security: 12th International Workshop, Rfidsec 2016, Hong Kong, China, November 3, (Paperback) $63.65
$6365current price $63.65Radio Frequency Identification and Iot Security: 12th International Workshop, Rfidsec 2016, Hong Kong, China, November 3, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
