Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering)
Original price was: $42.00.$8.00Current price is: $8.00.
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering), Olaf Kolditz, 9783319119359
In stock
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.
| ISBN | |
|---|---|
| Page Number | |
| Author | |
| Publisher |
Related Products
-
Sale
Applying Soft Computing in Defining Spatial Relations (Studies in Fuzziness and Soft Computing)
V. Greenberg Original price was: $104.00.$19.00Current price is: $19.00. -
Sale
Advanced Photonics with Second-order Optically Nonlinear Processes: Proceedings of the NATO Advanced Study Institute, Sozopol, Bulgaria, September 24-October 3, 1997 (NATO Science Partnership Subseries: 3)
A. D. Boardman Original price was: $40.00.$17.00Current price is: $17.00. -
Sale
Mathematical Modelling for Sustainable Development (Environmental Science and Engineering)
Alex Kalloniatis Original price was: $75.00.$7.00Current price is: $7.00. -
Sale
Neoclassical Theory of Electromagnetic Interactions: A Single Theory for Macroscopic and Microscopic Scales: 2017 (Theoretical and Mathematical Physics)
Rudolf Original price was: $40.00.$17.00Current price is: $17.00. -
Sale
How Nature Works: The Science of Self-Organized Criticality (Copernicus)
Larry Gonick Original price was: $98.00.$11.00Current price is: $11.00. -
Sale
Reduced Modelling of Planar Fuel Cells: Spatial Smoothing and Asymptotic Reduction
Sergei Silvestrov Original price was: $23.00.$10.00Current price is: $10.00.