Hero image 0 of Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, , (Paperback), 0 of 1
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, , (Paperback)
(No ratings yet)
Key item features
- Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, , (Paperback)
- Author: Springer
- ISBN: 9783540755951
- Format: Paperback
- Publication Date: 2007-10-09
- Page Count: 570
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateOctober, 2007
- Pages570
- Reading levelGrade 12
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
$54.99
Out of stock
How do you want your item?
Try 30 days for just $1! Choose a plan at checkout.
Ships to
Arrives by Wed, May 20
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $54.99
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
- Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, , (Paperback)
- Author: Springer
- ISBN: 9783540755951
- Format: Paperback
- Publication Date: 2007-10-09
- Page Count: 570
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
October, 2007
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
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)
Neural Information Processing: 23rd International Conference, Iconip 2016, Kyoto, Japan, October 16-21, 2016, Proceeding, (Paperback) $54.99
$5499current price $54.99Neural Information Processing: 23rd International Conference, Iconip 2016, Kyoto, Japan, October 16-21, 2016, Proceeding, (Paperback)
Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 17-19, 2003, Proceedings, (Paperback) $56.14
$5614current price $56.14Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 17-19, 2003, Proceedings, (Paperback)
High-Performance Computing: 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First Internation, (Paperback) $54.99
$5499current price $54.99High-Performance Computing: 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First Internation, (Paperback)
Lecture Notes in Computer Science Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987, Book 315, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987, Book 315, (Paperback)
Lecture Notes in Computer Science Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings, Book 789, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings, Book 789, (Paperback)
Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback) $54.99
$5499current price $54.99Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback)
Lecture Notes in Computer Science Evolvable Systems: From Biology to Hardware: 4th International Conference, Ices 2001 Tokyo, Japan, October 3-5, 2001 Pro, Book 2210, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Evolvable Systems: From Biology to Hardware: 4th International Conference, Ices 2001 Tokyo, Japan, October 3-5, 2001 Pro, Book 2210, (Paperback)
Advances in Information and Computer Security: 12th International Workshop on Security, Iwsec 2017, Hiroshima, Japan, Au, (Paperback) $63.65
$6365current price $63.65Advances in Information and Computer Security: 12th International Workshop on Security, Iwsec 2017, Hiroshima, Japan, Au, (Paperback)
Information Processing in Computer-Assisted Interventions: 5th International Conference, Ipcai 2014, Fukuoka, Japan, Jun, (Paperback) $61.25
$6125current price $61.25Information Processing in Computer-Assisted Interventions: 5th International Conference, Ipcai 2014, Fukuoka, Japan, Jun, (Paperback)
Collaboration and Technology: 22nd International Conference, Criwg 2016, Kanazawa, Japan, September 14-16, 2016, Proceed, (Paperback) $54.99
$5499current price $54.99Collaboration and Technology: 22nd International Conference, Criwg 2016, Kanazawa, Japan, September 14-16, 2016, Proceed, (Paperback)
Security Standardisation Research: Second International Conference, Ssr 2015, Tokyo, Japan, December 15-16, 2015, Procee, (Paperback) $60.29
$6029current price $60.29Security Standardisation Research: Second International Conference, Ssr 2015, Tokyo, Japan, December 15-16, 2015, Procee, (Paperback)
Lecture Notes in Computer Science Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, Book 2609, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, Book 2609, (Paperback)
Databases in Networked Information Systems: 5th International Workshop, Dnis 2007, Aizu-Wakamatsu, Japan, October 17-19,, (Paperback) $54.99
$5499current price $54.99Databases in Networked Information Systems: 5th International Workshop, Dnis 2007, Aizu-Wakamatsu, Japan, October 17-19,, (Paperback)
New Frontiers in Applied Data Mining: Pakdd 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selecte, (Paperback) $54.99
$5499current price $54.99New Frontiers in Applied Data Mining: Pakdd 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selecte, (Paperback)
Semantic Technology: Second Joint International Conference, Jist 2012, Nara, Japan, December 2-4, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Semantic Technology: Second Joint International Conference, Jist 2012, Nara, Japan, December 2-4, 2012, Proceedings, (Paperback)
Communications in Computer and Informati Serviceology for Services: 7th International Conference, Icserv 2020, Osaka, Japan, March 13-15, 2020, Proceedings, Book 1189, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Serviceology for Services: 7th International Conference, Icserv 2020, Osaka, Japan, March 13-15, 2020, Proceedings, Book 1189, (Paperback)
Functional and Logic Programming: 8th International Symposium, Flops 2006, Fuji-Susono, Japan, April 24-26, 2006, Procee, (Paperback) $60.29
$6029current price $60.29Functional and Logic Programming: 8th International Symposium, Flops 2006, Fuji-Susono, Japan, April 24-26, 2006, Procee, (Paperback)
Advanced Data Mining and Applications: 9th International Conference, Adma 2013, Hangzhou, China, December 14-16, 2013, P, (Paperback) $56.14
$5614current price $56.14Advanced Data Mining and Applications: 9th International Conference, Adma 2013, Hangzhou, China, December 14-16, 2013, P, (Paperback)
Advanced Methodologies for Bayesian Networks: Second International Workshop, Ambn 2015, Yokohama, Japan, November 16-18,, (Paperback) $54.99
$5499current price $54.99Advanced Methodologies for Bayesian Networks: Second International Workshop, Ambn 2015, Yokohama, Japan, November 16-18,, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
