Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Arbeitsmarktpolitik in der sozialen Marktwirtschaft
$44.99
Coalition Formation by Sophisticated Players
$54.99
Comecon Data 1983
$44.99
Fieldwork for Healthcare
$34.99
Transactions on Petri Nets and Other Models of Concurrency XVI
$99.99
Negotiating Boundaries
$54.99
Thinking Beyond Technology
$54.99
Molecular Dermatology
$109.99
Risikomanagement in der Entwicklung und Produktion von Spielfilmen
$49.99
Praxis LWS-Erkrankungen
$129.99
The Development of the Italian Schools of Painting
$54.99
Multiculturalism, Identity and Difference
$19.99
Medien und Kulturen des Konflikts
$39.99
Mechanistic Approaches to Interactions of Electric and Electromagnetic Fields with Living Systems
$219.99
Solvable Cellular Automata
$179.99
Japanese Outbound Acquisitions
$119.99
Economic Theory of Fuzzy Equilibria
$74.99
Die Radikale Rechte
$79.99
Dermatoskopie
$69.99
Neuropsychologie
$37.99
Zwischen Hollywood und Bollywood
$59.99
Spectroscopic Methods and Analyses
$84.99
Kinetic Theory of the Inner Magnetospheric Plasma
$169.00
Topics in Nonlinear Mechanics and Physics
$109.99
Hard X-ray Photoelectron Spectroscopy (HAXPES)
$299.99
Die Arbeitsweise des Gehirns und Die Psychischen Vorgnge
$59.99
Schlerduden
$54.99
Local Systems in Algebraic-Arithmetic Geometry
$44.99
Open Source Geospatial Tools
$109.99
Analysis and Synthesis of Nonlinear Control Systems
$129.00
Fiber Optics Standard Dictionary
$109.99
Quadratic Forms in Infinite Dimensional Vector Spaces
$39.99
Advanced Materials
$219.99
Elemente internationaler Medienwissenschaften
$37.99
Problem-based Learning into the Future
$109.99
Public Policies for Territorial Cohesion
$139.99
Fundamentals of Superconductivity
$109.99
Neuroendocrine Regulation and Altered Behaviour
$54.99
Divided Lives
$37.99
Domestic Servants in Literature and Testimony in Brazil, 1889-1999
$54.99
