Code: 09372120

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 09372120
Price: 51.68 EUR
Availability: InStock
Author: Daniel Kroening
ISBN: 9783319216898

by Daniel Kroening, Corina S. Pasareanu

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

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Spanish English Illustrated Dictionary
21.23 € -25 %
Buy
L.A. Nudes Confidential
27.81 € -25 %
Buy
Lean Change Management
36.41 €
Buy
Vánoční koledy
3.43 € -33 %
Buy
EL SIGNO DEL DRAGÓN
13.34 €
Buy
Diario de un viejo terminal
23.46 €
Buy
Amber Waves
9.80 € -6 %
Buy
La génération Z et le luxe
21.03 € -16 %
Buy
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine
98.72 €
Buy
SICILIA
26.29 €
Buy
Spice Secret
8.39 €
Buy
Reise durch Barcelona
18 € -10 %
Buy
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General
33.57 €
Buy
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427
55.12 €
Buy
Introduction to International Relations
71.41 €
Pre-order
Dynamic Business Process Formation for Instant Virtual Enterprises
154.36 € -7 %
Buy
Chemical Genomics
108.43 €
Buy
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas
52.90 €
Buy
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties
133.82 €
Buy
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle)
30.44 € -5 %
Buy
Clemens Brentano
119.15 € -4 %
Buy
Intimate: An American Family Photo Album
28.21 € -21 %
Buy
The sun Worshipers of Asia
17.49 € -2 %
Buy
How To Be A Dynamite Trustee: Book Two: Powers Of The Trustee
7.27 € -6 %
Buy
Stunden-Buch
8.99 € -10 %
Buy
Klube & THE BATES
18 € -11 %
Buy
Die 101 wichtigsten Fragen - Rassismus
9.90 € -10 %
Buy
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c
38.23 € -1 %
Buy
Inspirationen zu Franz Marc "Skizzen aus dem Felde"
32.16 € -11 %
Buy
NATIONALISM
50.57 €
Pre-order
Russlands landlische Zustande
20.52 € -11 %
Buy
Nouvelle Biblioth?que Germanique...
27.71 € -25 %
Buy
Sterilization of Food in Retort Pouches
102.97 € -7 %
Buy
Life of an EX College Bandsman 5: Starting All Over
18.50 € -7 %
Buy
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905)
32.77 € -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 125 loyalty points

Book synopsis

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

Book details

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

51.68 €

Full title: Computer Aided Verification
Subtitle: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author: Daniel Kroening, Corina S. Pasareanu
Language: English
Binding: Paperback
Number of pages: 677
EAN: 9783319216898
ISBN: 3319216899
ID: 09372120
Publisher: Springer International Publishing AG
Weight: 1048 g
Dimensions: 235 × 155 × 40 mm
Date of publishing: 18. July 2015