Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Hanoi PE
Understanding Vietnam
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Computers & Technology   Programming Languages

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science)


Mega Sale! Save 25% on the Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science) by Springer at Hanoi PE. MPN: 115 black & white illustrations, biograp. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013,


Product Description

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

Additional Information

Manufacturer:Springer
Part Number:115 black & white illustrations, biograp
Publisher:Springer
Studio:Springer
MPN:115 black & white illustrations, biograp
EAN:9783319024431
Item Weight:1.66 pounds
Item Size:1.23 x 9.25 x 9.25 inches
Package Weight:1.82 pounds
Package Size:6.1 x 1.23 x 1.23 inches

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science)

Brand: Springer
4.4 out of 5 stars with 44 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$82.34
You Save: 24%


Quantity:  

 


View More In Programming Languages.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9783319479576, isbn: 3319479571,
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational th...



Privacy Policy / Terms of Service
© 2018 - hanoipe.org. All Rights Reserved.