Code: 02075327

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02075327
Price: 102.67 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

102.67 €

RRP: 111.27 €

You save 8.60 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Data Analysis using Python and Power BI
39.13 € -14 %
Buy
The Mammals of Israel
27.32 €
Buy
Exploring Piano Classics Technique
18.65 €
Buy
Cambridge Companion to the Musical
43.46 €
Buy
La enzima para rejuvenecer
13 €
Buy
Environmental History of Medieval Europe
42.86 €
Buy
The Application of GIS Technologies in the Roman Period
44.77 €
Buy
I ja sam tu, uz vas
13.71 € -5 %
Buy
Miles Around Paris
11.49 € -7 %
Buy
Dirty Kiss
13.91 € -17 %
Buy
Glyph*
22.08 €
Buy
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780
27.73 €
Buy
Handbook of Modern Ion Beam Materials Analysis
108.92 €
Buy
Kielikarhu 3. Harjoituskirja A.
24.30 € -12 %
Buy
Impressive
47.90 €
Buy
Households as Corporate Firms
39.63 €
Buy
Spider Tapestries
14.72 € -2 %
Buy
Strategic Networking in Small High Tech Firms
35.39 € -9 %
Buy
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr
30.75 €
Buy
Decentralization and Development Partnership
51.53 € -7 %
Buy
Ecclesiantics: 30 Years of Church Humor
9.77 € -6 %
Buy
Kumulyativnye Zaryady
79.77 € -14 %
Buy
Die ewige Philosophie
19.66 € -11 %
Buy
Debates in Citizenship Education
64.64 €
Buy
The House of Vanity
14.72 € -1 %
Buy
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676)
13.51 € -10 %
Buy
Vegetative Physiologie
50.22 €
Pre-order
La société patriarcale face à la résistance des femmes
34.18 €
Buy
Vie Abregee Du T. H. Frere Polycarpe
14.72 € -2 %
Buy
Die Reform der Vereinten Nationen - Bilanz und Perspektiven.
105.70 €
Buy
Patentschutz und Innovation in Geschichte und Gegenwart
42.76 € -1 %
Buy
Parameter Setting
167.22 €
Buy
Defending Objectivity
232.89 €
Buy
Witch Stories
48.91 € -1 %
Buy
The Passaic Flood of 1903
15.83 € -17 %
Buy
epidemiologische Teil des Berichtes uber die Tatigkeit
16.13 € -10 %
Buy
Wizards' Country
14.31 € -9 %
Buy
Inequality in the Digital Economy
137.67 € -4 %
Buy
Aufbruch in ein mehrdimensionales Denken
16.94 € -1 %
Buy
Khobar Towers
29.04 €
Buy
Lebensfunken
10.18 € -6 %
Buy
Compagnie Irlandaise
22.89 € -2 %
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 249 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

102.67 €

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