Code: 01655343

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655343
Price: 55.70 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642113185

by Gilles Barthe, Manuel Hermenegildo

Language: English
Binding: Paperback
Number of pages: 397
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
More about this

55.70 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Two Dark Reigns
12.10 € -28 %
Buy
Think Starter Workbook with Online Practice
10.08 € -13 %
Pre-order
Entering the Healing Ground
14.02 € -25 %
Buy
30 Great Books That Made History
22.50 € -7 %
Buy
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu
9.88 € -10 %
Buy
Holašovice: Vesnická památková rezervace
12.10 € -15 %
Buy
Moje plány
14.42 € -15 %
Buy
Sang famille
13.21 €
Buy
Joan Miro
40.16 € -9 %
Buy
Plansza dwustronna A4 ściąga Europa
1.81 € -6 %
Buy
Robert Rauschenberg and Surrealism
42.68 €
Buy
UN HERISSON
13.51 €
Buy
Augusto Giacometti
42.78 € -11 %
Buy
Die besten Übungen für den Atlas-Wirbel
18.06 € -5 %
Buy
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project
38.24 € -14 %
Buy
Burenkrieg (1899-1902)
13.51 € -10 %
Buy
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945
16.14 € -10 %
Buy
Torn in the New Sa
22.80 € -1 %
Buy
Dawit Isaak
23.81 € -1 %
Buy
Act creative! (Leben Lernen, Bd. 281)
28.55 € -11 %
Buy
Introduction To The Theory Of Probability, An
74.68 €
Buy
Dominoes: Three: The Secret Agent
13.51 €
Buy
Anthems for Choirs 4
25.52 € -15 %
Buy
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne
50.86 € -6 %
Buy
Iniciacion deportiva en la escuela
29.66 €
Buy
Changing Room
18.86 € -4 %
Buy
Corporations in Pennsylvania. Volume 2 of 2
24.21 € -25 %
Buy
elektronische Zahlungsmittel Kreditkarte und mit ihr einhergehende Betrugsmoeglichkeiten
17.05 € -10 %
Buy
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow
17.85 € -14 %
Buy
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels
13.01 € -1 %
Buy
Jak jsem se (ne)stal agentem StB
3.42 € -16 %
Buy
Mr. Balfour's Apologetics Critically Examined
22.50 €
Buy
My Mom is a Construction Manager
25.52 € -2 %
Buy
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests
15.73 € -7 %
Buy
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie
40.06 € -11 %
Buy
Allí, donde se acaba el mundo
24.62 €
Buy
History of the People's Republic of China, 1949-1976
47.32 €
Buy
Mythic-Symbolic Language and Philosophical Anthropology
102.73 € -7 %
Buy
Transiciones e Interacciones en la Sociedad del Conocimiento
52.47 € -14 %
Buy
Seven Hours at the Ocean
7.26 € -6 %
Buy
Get addicted to free-motion quilting
18.06 € -9 %
Buy
Transport and Reactivity of Solutions in Confined Hydrosystems
154.01 € -7 %
Buy
English Physician's Guide or a Holy Guide V1
57.01 € -1 %
Buy
Kamumemoár
15.73 € -13 %
Buy
Integrierte Versorgung bei Demenzerkrankungen
31.18 € -11 %
Buy
Indische Reisebriefe
35.62 € -11 %
Buy
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing
27.95 € -14 %
Buy
Contaminacion ambiental con plaguicidas OrganoFosforados
35.62 € -14 %
Buy
REASONABLE SERVICE
29.97 € -2 %
Buy
Des petits mondes en leur début
34.81 € -6 %
Buy
Le Coran expliqué aux jeunes
12.51 €
Buy
Gottfried Keller
25.02 € -7 %
Buy
The Voice of the Pack
29.97 € -2 %
Buy
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten
29.36 € -6 %
Buy
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30
58.73 € -2 %
Buy
Traite Du Jeu. Volume 1
28.75 €
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 135 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Book details

Book category Books in English Computing & information technology Computer programming / software development Algorithms & data structures

55.70 €

Full title: Verification, Model Checking, and Abstract Interpretation
Subtitle: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Author: Gilles Barthe, Manuel Hermenegildo
Language: English
Binding: Paperback
Number of pages: 397
EAN: 9783642113185
ISBN: 3642113184
ID: 01655343
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 612 g
Dimensions: 235 × 155 × 23 mm
Date of publishing: 08. January 2010