About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Computer Aided Design
Using Gerber
Technology
£45.00
Provides step-by-step instructions for Accu Mark Explorer, Silhouette/ Pattern Design System, & Marker Making
- everything necessary
...
Archived Product
Computer Aided Engineering Design with Solidworks
Computer Aided
Engineering Design
With Solidworks
£40.80
Designed for students taking the Solid Works course in Colleges & Universities & for engineering designers involved or interested in using Solid Works for real-life applications in manufacturing processes, mechanical systems & engineering analysis. ...
Archived Product
image missing
Computer Aided
Fraud Prevention And
Detection
£28.05
Using software to detect improper transactions are techniques that have grown in importance for fraud examiners. This book provides fraud examiners & auditors with step-by-step guidance on using data extraction & software to detect & prevent fraud. ...
Archived Product
image missing
Computer And
Computing Technologies
In Agriculture II
£153.00
Constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer & Computing Technologies in Agriculture. This title also features proceedings & post-proceedings of refereed international conferences in computer science & interdisciplinary fields. ...
Archived Product
image missing
Computer And
Computing Technologies
In Agriculture II
£153.00
Constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer & Computing Technologies in Agriculture. This title also features proceedings & post-proceedings of refereed international conferences in computer science & interdisciplinary fields. ...
Archived Product
image missing
Computer And
Computing Technologies
In Agriculture II
£153.00
Constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer & Computing Technologies in Agriculture. This title also features proceedings & post-proceedings of refereed international conferences in computer science & interdisciplinary fields. ...
Archived Product
image missing
Computer And
Information Science
£76.50
This volume contains the best papers from the 2010 IEEE/ACIS conference, where scientists, engineers, users, & students exchange new ideas & research results about all aspects of computer & information science, from theory & applications to tools. ...
Archived Product

Computer Aided Verification

A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
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: 9783540646082
Availability: In Stock
£7.90
computer science / edp Mathematics, Science, Technology & Medicine > Computer Science / EDP
Description Reviews / Comments Add New

Product Description

A collection of 33 revised papers, 10 tool papers & 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling &

Specification formalisms; verification techniques; & model checking, synthesis & automated deduction.

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

Computer - A programmable electronic machine which stores and manipulates data.
Specification - A description of a product with the details of its attributes.
Conference - A gathering of people, typically employees, for a formal meeting.
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