Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Computer Aided Verification

Computer Aided Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540693390
Condition
New
Product Description

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Could You Ever Dine with Dinosaurs!?

$5.99

Selenium and Tellurium Chemistry

$169.99

Arbeitsbuch Brgerliches Recht 2

$44.99

The Economics of Smoking

$84.99

Processing of Crystalline Ceramics

$39.99

Die sthetische Dimension kindlicher Ttigkeit

$59.99

Music and Play in Early Childhood Education

$109.99

Electronic Properties of Materials

$169.99

Die rztliche Leichenschau

$89.99

Costs and Benefits of Collective Pension Systems

$109.99

Knowledge Management

$84.99

Dialogue Writing for Dubbing

$79.99

Morphometry of the Placental Exchange Area

$54.99

Beitrge zur Angiographie Chirurgischer Lungenerkrankungen

$59.99

Die Heliotherapie der Tuberkulose

$59.99

Metallothionein II

$84.99

Consumer Behavior over the Life Course

$99.00

The Financial Advisor M&A Guidebook

$37.99

Handbuch der praktischen und technischen Informatik

$39.99

Projektmanagement als organisationales Lernen

$69.99

Politicians, Legislation, and the Economy

$84.99

Forensic Management of Sexual Offenders

$169.99

The Nature and Limits of Human Equality

$39.99

Human Rights Violation in Turkey

$54.99

Watching the Watchers

$39.99

State of the Art in Applied Cryptography

$39.99

Akzeptanz

$64.99

Cool Stars, Stellar Systems and the Sun

$74.99

Residue Reviews / Rckstands-Berichte

$54.99

Die quantitative, spektrographische Analyse von Gasgemischen aus Kohlenmonoxyd, Wasserstoff und Stic

$59.99

Agricultural Development: Planning and Implementation

$39.99

Schler*innen

$29.99

Digitale Medien im Mathematikunterricht der Sekundarstufen I + II

$34.99

Deutsche Politikwissenschaftler in der Emigration

$59.99

Als die Teilchen laufen lernten

$49.99

Die Theorie der Wasserturbinen

$49.99

Advances in Object-Oriented Graphics I

$109.99

Optimization Techniques

$39.99

Rckkehr des Staates?

$39.99

Fragekompetenz fr Fhrungskrfte

$84.99