Code: 02775219

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 02775219
Price: 102.69 EUR
Availability: InStock
Author: Armin Biere
ISBN: 9783319088662

by Armin Biere, Roderick Bloem

Language: English
Binding: Paperback
Number of pages: 877
Publisher: Springer International Publishing AG, 2014
More about this

102.69 €

RRP: 111.29 €

You save 8.60 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Musculoskeletal Ultrasound for the Rheumatologist
100.47 € -9 %
Buy
Clementine Deliss
16.94 € -10 %
Buy
Procvičujeme si Psaní y/ý a i/í po tvrdých a měkkých souhláskách a psaní ě
1.70 € -6 %
Buy
Láska moja sa stráca
13.31 € -36 %
Buy
DAN DA DAN 14
9.17 € -10 %
Buy
The Software Developer's Guide to Linux
39.03 € -1 %
Buy
Wir smart 4. Język niemiecki. Szkoła podstawowa. Klasa 7. Smartbuch + kod dostępu
12.20 €
Buy
Every Last Secret
11.19 € -30 %
Buy
Numbers Matching Games and Book
8.06 € -24 %
Pre-order
Sestra lovca bosoriek
7.76 € -29 %
Buy
Un prince sans royaume
12.40 €
Buy
Sneaker Obsession
20.07 € -25 %
Buy
Kicad - Getting Started in Kicad
18.25 € -7 %
Buy
Elliott Erwitt's Rome
85.44 €
Buy
Anterior Segment Optical Coherence Tomography
175.63 € -9 %
Buy
Shades of Earl Grey
6.55 € -24 %
Buy
Isola d'Elba e Pianosa
16.13 €
Buy
Hubert und Staller. Staffel.4, 6 DVDs
22.99 €
Buy
The Compound Effect
18.35 € -2 %
Buy
Anti-Death League
10.78 € -24 %
Buy
Field Palaeontology
88.47 €
Buy
Lessings Werke
70.91 € -12 %
Buy
Deviant Women of the French Revolution and the Rise of Feminism
120.45 €
Buy
Imageanalyse der TSG Ludwigshafen-Friesenheim
42.66 € -11 %
Buy
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen
52.96 € -7 %
Buy
Lettere. Testo greco a fronte
48.52 € -9 %
Buy
Lost and Found
8.57 € -24 %
Buy
Mobilizing India
36.11 €
Buy
Moncada
16.13 € -24 %
Buy
Die Berechnung des Waldkapitals
26.72 € -11 %
Buy
Tief ist der Brunnen der Vergangenheit
25.01 € -24 %
Buy
Hardcore Training
21.78 € -5 %
Buy
The Garret and The Garden
6.35 € -7 %
Buy
Omega Factor
15.63 € -2 %
Buy
Cultural Proficiency In Addressing Health Disparities
119.34 €
Buy
Advances in Natural Language Processing
51.54 € -7 %
Buy
How Spitsbergen Heats The World
17.85 € -14 %
Buy
Apache Spark Quick Start Guide
32.78 € -1 %
Buy
Censored 1996: The 1996 Project Censored Yearbook
13.91 € -9 %
Buy
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche
17.04 € -10 %
Buy
Schott Master Class Cello, m. 2 DVDs
70.21 €
Buy
Beschaffungsplanung Und Budgetierung
52.96 € -7 %
Buy
Paediatric Anaesthetic Emergency Data Manual
79.59 €
Buy
Conventions on the Privileges and Immunities of the United Nations and its Specialized Agencies
369.54 €
Buy
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk
52.96 € -7 %
Buy
100 Number One Hits for Trumpet
48.42 €
Buy
Los frutos siderales
14.82 €
Buy
Bates Motel. Season.3, 3 DVDs
22.99 €
Buy
Macbeth
11.69 € -14 %
Buy
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG.
47 € -6 %
Buy
Complete Works of W.H. Auden
370.95 €
Buy
Cost and Fee Allocation in Civil Procedure
102.69 € -7 %
Buy
Subventionspolitik Der Hohen Behoerde Der Europaischen Gemeinschaft Fur Kohle Und Stahl Und Ihre Auswirkungen Auf Den Kohlenbergbau Dieser Gemeinschaf
52.96 € -7 %
Buy
Einführung in das GmbH-Recht
40.45 €
Buy
Fundamental Research in Moral Development
55.88 €
Buy
25 Jahre Kaiser Wilhelm-Gesellschaft
52.96 € -7 %
Buy
Als Vagabund um die Erde
62.14 € -11 %
Buy
Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat !
18.35 €
Buy
750 Spanish Verbs and Their Uses
28.44 € -25 %
Buy
Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender
19.56 € -11 %
Buy
From the Garden
7.86 € -25 %
Buy
PALABRAS QUE NOS SOSTIENEN
18.55 € -9 %
Buy
Dynamic Systems Models
102.69 € -7 %
Buy
How to Read the Chinese Novel
77.27 €
Buy
Charles Hueber, le maire oublié de Strasbourg
30.96 €
Buy
Fatigue
225.57 € -7 %
Buy
British Woodies from the 1920s to the 1950s
14.92 € -25 %
Buy
Criticism of the New Testament
30.86 € -2 %
Buy
Study of Travelling Interplanetary Phenomena 1977
205.19 € -7 %
Buy
101 Marketing Strategies for Accounting, Law, Consulting, and Professional Services Firms
35.40 € -24 %
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 proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

102.69 €

Full title: Computer Aided Verification
Subtitle: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Author: Armin Biere, Roderick Bloem
Language: English
Binding: Paperback
Number of pages: 877
EAN: 9783319088662
ISBN: 3319088661
ID: 02775219
Publisher: Springer International Publishing AG
Weight: 1352 g
Dimensions: 235 × 155 × 48 mm
Date of publishing: 04. August 2014