Code: 01661539

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661539
Price: 51.68 EUR
Availability: InStock
Author: Madhusudan Parthasarathy
ISBN: 9783642314230

by Madhusudan Parthasarathy, Sanjit A. Seshia

Language: English
Binding: Paperback
Number of pages: 789
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
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

Cambridge English Qualifications: C1 Advanced Practice Tests Plus Volume 1 with key
44.50 €
Buy
Theory of Knowledge for the IB Diploma Fourth Edition
56.64 € -9 %
Buy
Soul Plan
17.09 € -24 %
Buy
Hände weg von Mississippi
11.93 € -15 %
Buy
How Hard Can It Be?
11.83 € -25 %
Buy
Waste Books
13.34 € -25 %
Buy
Karl May Moc fantázie
13.75 € -29 %
Buy
Handbook
22.35 € -14 %
Buy
Netzwerk
20.83 €
Buy
Soupis staročeských exempel
9.30 € -16 %
Buy
An Introduction to Structural Optimization
55.53 € -9 %
Buy
Extending jQuery
49.05 €
Buy
Tonio Kröger
11.93 €
Buy
No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety
10.81 € -2 %
Buy
Space Explorers
24.37 €
Buy
Eumon the Treleum
18.20 € -25 %
Buy
Gesse wird deheim
13.04 € -13 %
Buy
RIGBY PM PLUS
56.13 € -9 %
Buy
Steel Wheels Live
53.10 € -15 %
Buy
Walking the Tightrope of Reason
19.61 €
Buy
Die Radiotrinkerin
12.63 € -10 %
Buy
Life and Times of A Black Man from Georgia
17.39 €
Buy
Why and How
11.72 € -14 %
Buy
Fatigue of the Shari'a
53.30 € -4 %
Buy
European Union and the BRICS
51.68 € -7 %
Buy
Das Bevölkerungspotential der Sowjetunion.
21.94 €
Buy
Paladear con el cerebro
15.47 €
Buy
Britcoms FAQ
20.02 € -4 %
Buy
Forensic Sciences of CSI
78.08 € -2 %
Buy
M-Step Grade 8 English Language Arts Flashcard Study System: M-Step Test Practice Questions and Exam Review for the Michigan Student Test of Education
40.25 € -9 %
Buy
Multiplicative Invariant Theory
113.29 € -7 %
Buy
Callback
16.48 € -12 %
Buy
Enserfment Russian Peasant
42.98 €
Buy
Grammaire Anglaise
4.54 €
Buy
101 Recipes for Making Cheese
29.43 € -9 %
Buy
The Red Badge of Courage
7.17 € -7 %
Buy
To the Point of a Powerful Return
16.58 €
Buy
A Yankee in the Trenches
8.99 € -6 %
Buy
Plays by Edwin Sanchez
19.31 € -2 %
Buy
A Handbook Of Rocks: For Use Without The Petrographic Microscope
34.38 € -2 %
Buy
Letters of Two Brides
13.54 € -14 %
Buy
Lutchmee and Dilloo
24.27 € -25 %
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

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Book details

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

51.68 €

Full title: Computer Aided Verification
Subtitle: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author: Madhusudan Parthasarathy, Sanjit A. Seshia
Language: English
Binding: Paperback
Number of pages: 789
EAN: 9783642314230
ISBN: 3642314236
ID: 01661539
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1200 g
Dimensions: 235 × 155 × 44 mm
Date of publishing: 12. June 2012