Code: 02075327

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02075327
Price: 109.54 EUR
Availability: InStock
Author: Natasha Sharygina
ISBN: 9783642397981

by Natasha Sharygina, Helmut Veith

Language: English
Binding: Paperback
Number of pages: 1015
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
More about this

109.54 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Data Analysis using Python and Power BI
45.19 € -10 %
Buy
Kozoroh
6.48 € -21 %
Buy
The Mammals of Israel
27.45 €
Buy
Exploring Piano Classics Technique
19.04 €
Buy
Cambridge Companion to the Musical
43.67 €
Buy
La enzima para rejuvenecer
12.96 € -1 %
Buy
Environmental History of Medieval Europe
43.06 €
Buy
The Application of GIS Technologies in the Roman Period
37.39 € -1 %
Pre-order
Miles Around Paris
11.54 € -7 %
Buy
I ja sam tu, uz vas
13.77 € -5 %
Buy
Glyph*
22.39 €
Buy
Kielikarhu 3. Harjoituskirja A.
24.41 € -12 %
Buy
Spider Tapestries
14.79 € -2 %
Buy
Dirty Kiss
13.98 € -17 %
Buy
Households as Corporate Firms
39.82 €
Buy
Strategic Networking in Small High Tech Firms
35.56 € -10 %
Buy
Handbook of Modern Ion Beam Materials Analysis
109.44 €
Buy
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780
27.86 €
Buy
Decentralization and Development Partnership
55.93 €
Buy
Debates in Citizenship Education
61.81 €
Buy
Kumulyativnye Zaryady
90.90 € -4 %
Buy
Ecclesiantics: 30 Years of Church Humor
9.82 € -6 %
Buy
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr
34.65 €
Buy
Vegetative Physiologie
50.46 €
Pre-order
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676)
14.79 €
Buy
La société patriarcale face à la résistance des femmes
34.55 €
Buy
Gittertiere 1. Bd.1
26.64 €
Pre-order
Patentschutz und Innovation in Geschichte und Gegenwart
42.96 € -4 %
Buy
Defending Objectivity
200.15 €
Buy
Die Reform der Vereinten Nationen - Bilanz und Perspektiven.
90.39 €
Buy
Vie Abregee Du T. H. Frere Polycarpe
14.79 €
Buy
Parameter Setting
168.02 €
Buy
Impressive
48.33 €
Buy
Wizards' Country
13.98 € -9 %
Buy
The Passaic Flood of 1903
15.90 € -17 %
Buy
epidemiologische Teil des Berichtes uber die Tatigkeit
22.59 € -7 %
Buy
Die ewige Philosophie
19.75 € -11 %
Buy
Aufbruch in ein mehrdimensionales Denken
17.12 € -8 %
Buy
The House of Vanity
14.79 € -1 %
Buy
Inequality in the Digital Economy
148.97 €
Buy
Khobar Towers
29.18 €
Buy
Some Mathematical Aspects of Inverse Thermoelastic Problems
77.92 € -4 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 265 loyalty points

Book synopsis

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

109.54 €

Full title: Computer Aided Verification
Subtitle: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Author: Natasha Sharygina, Helmut Veith
Language: English
Binding: Paperback
Number of pages: 1015
EAN: 9783642397981
ISBN: 3642397980
ID: 02075327
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1539 g
Dimensions: 235 × 155 × 56 mm
Date of publishing: 27. June 2013