Code: 15560990

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer International Publishing AG
SKU: 15560990
Price: 51.61 EUR
Availability: InStock
Author: Ahmed Bouajjani
ISBN: 9783319522333

by Ahmed Bouajjani, David Monniaux

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

51.61 €

RRP: 55.88 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Peppa Pig: Hide and Peek
8.17 € -19 %
Buy
Season's of a Mother's Heart
11.30 € -25 %
Buy
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes
19.48 € -22 %
Buy
Batman - Svět
17.06 € -30 %
Buy
INFINITY SAGA CAPT AMER WINTER SOLDIER A
28.58 € -24 %
Buy
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr
35.44 € -24 %
Buy
Oracle WebLogic Server 12c Administration I Exam 1Z0-133
56.05 € -25 %
Buy
MEURTRIERS SANS VISAGE
14.94 €
Buy
Aktuelle Rechtsfragen im Radsport
60.70 €
Buy
Psychedelic Alien Monster: Cannabis College Ruled Notebook
8.98 € -6 %
Buy
Lehrer sein!
23.73 € -5 %
Buy
Damned If I Do, Dead If I Don't
17.46 €
Buy
Animals A-Z
15.44 € -25 %
Buy
Remaking China's Great Cities
224.34 €
Buy
Os animais tem alma?
13.73 € -10 %
Buy
Viaggi attraverso le cose. Ediz. numerata
5.55 €
Buy
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray
18.07 € -9 %
Buy
Unbounded Chronicles
28.27 € -1 %
Buy
Satires Contre Les Astronomes
13.02 € -1 %
Buy
Henry Demarest Lloyd and the Empire of Reform
163.83 €
Pre-order
Technology, Modernity, and Democracy
159.69 €
Buy
ACTOR OR A PEEP BEHIND THE CUR
18.37 € -1 %
Buy
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires
86.86 €
Pre-order
Red Earth
19.28 € -2 %
Buy
Adventures of Hugh Jorgan
10.09 € -2 %
Buy
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC
64.33 €
Buy
Modèle de Hubbard étendu: Aspects électronique et magnétique
44.43 € -11 %
Buy
Feelgood-Management
14.33 € -9 %
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

More about Verification, Model Checking, and Abstract Interpretation

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.