About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Automated Planning
£48.75
Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles & robots to playing the game of bridge. This book covers both the theory & practice of automated planning. It is useful for researchers, professionals, & graduate students. ...
Archived Product
image missing
Automated Reasoning
£52.69
Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title

Includes:: papers that address the spectrum of research in automated reasoning & are organized in topical sections on specific theories.

...
Archived Product
image missing
Automated Solution
Of Differential
Equations By
The Finite Element
Method
£56.69
Written by researchers & developers behind the FEni CS Project, this book explores an advanced, expressive approach to the development of mathematical software. It also

Includes:: chapters that address fundamental aspects of the approach to automating the creation of finite element solvers.

...
Archived Product
image missing
Automated Technology
For Verification And
Analysis
£57.59
Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification & Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book

Includes:: the papers addressing theoretical & practical aspects of automated analysis, verification & synthesis.

...
Archived Product
image missing
Automatic Calibration
And Reconstruction For
Active Vision Systems
£81.00
This book explores new planar patterns for camera calibration of intrinsic parameters, offering a line-based method for distortion correction. Covers calibration of structured light systems, & 3D Euclidean reconstruction using image-to-world transformation. ...
Archived Product
image missing
Automatic Control
£33.31
Using the concept of automatic control as a unifying idea, this title explains the field of engineering
- & the kinds of problems
...
Archived Product
image missing
Automatic Control
Of Atmospheric And
Space Flight Vehicles
£38.24
A study of the design & analysis of automatic control systems for both atmospheric & space flight vehicles. Covering basic control theory & design concepts, it is suitable for senior undergraduate & graduate students in courses on flight control systems. ...
Archived Product

Automated Technology For Verification And Analysis

Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9783540883869
Availability: In Stock
£44.19
computer science / edp Mathematics, Science, Technology & Medicine > Computer Science / EDP
Description Reviews / Comments Add New

Product Description

Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification & Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, & theory.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Model - A representation of a person or thing, usually smaller scale. It can also be a person that wears clothing.

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu