Automated Technology for Verification and Analysis Image close
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Show Hide Adult Content
Automated Technology for Verification and Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Automated Technology for Verification and Analysis

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$155.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.75 with Afterpay Learn more

6 weekly interest-free payments of $25.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Selected Areas in Cryptography
$200.00
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 24 Jun 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Advances in Cryptology – EUROCRYPT 2024
$338.00
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024
Ubiquitous Networking
$188.00
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$150.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$263.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Cybersecurity of Digital Service Chains
$137.00
Cybersecurity of Digital Service Chains
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2020
$289.00
Computational Science and Its Applications – ICCSA 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
PRIMA 2020: Principles and Practice of Multi-Agent Systems
$150.00
PRIMA 2020: Principles and Practice of Multi-Agent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$150.00
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Enterprise Design, Operations, and Computing
$150.00
Enterprise Design, Operations, and Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$152.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Web Information Systems Engineering – WISE 2020
$150.00
Web Information Systems Engineering – WISE 2020
Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
September 11th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Dang van Hung
  • Edited by Mizuhito Ogawa
Illustrations
115 Illustrations, black and white; XIV, 528 p. 115 illus.
Pages
528
Dimensions
156x234x27
ISBN-13
9783319024431
Product ID
21645338

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Internet >
Network computers
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation