Code: 01660462

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660462
Price: 55.88 EUR
Availability: InStock
Author: Viktor Kuncak
ISBN: 9783642279393

by Viktor Kuncak, Andrey Rybalchenko

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

55.88 €

Low in stock at our supplier
Shipping in 14 - 21 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

Fire
14.62 € -18 %
Buy
Tosia i Julek czekają na brata. (Nie) tacy sami
5.03 € -18 %
Buy
Gothic - Grayscale Edition Coloring Book
10.28 € -1 %
Buy
Studio Lighting for Product Photography
15.63 € -2 %
Buy
Bright Ideas: Level 5: Teacher's Pack
30.86 € -6 %
Buy
Die Geburt der Tragödie, Sonderausgabe
10.89 € -10 %
Buy
Power System Economics - Designing Markets for Electricity
94.62 € -2 %
Buy
VALENCIA 2018
20.27 €
Buy
Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung
74.04 € -4 %
Buy
Westfassade des Domes in Siena
16.13 € -10 %
Buy
Royal Merchant; An Opera
28.24 € -1 %
Buy
The Art of Painting in Oil
15.22 € -14 %
Buy
Sono io il piu forte!
11.89 €
Buy
Tender Persuasion
14.01 € -7 %
Buy
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog!
14.72 €
Buy
Die CSU
52.96 € -7 %
Buy
Computer-Numerik 2
51.74 € -6 %
Buy
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E
29.15 € -10 %
Buy
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832
13 € -1 %
Buy
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell
28.34 € -6 %
Buy
Allerhöchste Eisenbahn!
9.88 € -34 %
Buy
Intimidades en Soledad: Todos en el recuerdo, nadie por nombrar
9.68 € -7 %
Buy
Soul in the Brain
45.29 € -4 %
Buy
LINDER Biologie SII - Ausgabe 2018 für Sachsen
32.58 €
Buy
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res
31.97 € -14 %
Buy
How To Survive Peer Review
31.67 € -10 %
Buy
Magnus and the Night Lion
8.67 € -25 %
Buy
Fandom, Image and Authenticity
55.68 €
Buy
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland
47.10 € -11 %
Buy
Knowledge of Heaven and Earth, Book Two
20.27 €
Buy
LA LIBRETA ROJA DE LA PATERNIDAD
21.18 €
Buy
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development
22.08 €
Buy
Mills Mill Pals
21.68 € -7 %
Buy
Pinpoint Maths Times Tables Detectives Year 4
7.76 €
Buy
Secret of Chimneys
18.35 € -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

More about Verification, Model Checking, and Abstract Interpretation

Book details
Synopsis
Trending among others

You get 136 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

Book details

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

55.88 €

Full title: Verification, Model Checking, and Abstract Interpretation
Subtitle: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Author: Viktor Kuncak, Andrey Rybalchenko
Language: English
Binding: Paperback
Number of pages: 457
EAN: 9783642279393
ISBN: 3642279392
ID: 01660462
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 709 g
Dimensions: 235 × 155 × 28 mm
Date of publishing: 12. January 2012