Книга Verification, Model Checking, and Abstract Interpretation Deepak D'Souza

Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Език: Английски език
Корици: С меки корици
Наличност: Външен склад
Изпращаме след 5-8 дни
52.78 103.24 лв
This book constitutes the refereed proceedings of the 16th International Conference on Verification,...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
2014
страници
468
EAN
9783662460801
ISBN
3662460807
Enbook ID
09136925
Теглоt
7314
Размери
155 x 235 x 25

Пълно описание

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2014. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Може също да ви хареса

Migrant Passage

Noelle Kateri Brigden
160.57 314.05 лв

Alien Zone II

Rick Kuhn
28.25 55.25 лв
59.76 116.88 лв
147.12 287.75 лв

What's What in America

Eugene V. Brewster
22.93 44.84 лв
12.69 24.82 лв

Annabelle's Reading Log

Martha Day Zschock
15.30 29.92 лв

New Wine

T a Prickett
12.94 25.31 лв
7.87 15.40 лв
54.34 106.28 лв
16.05 31.40 лв

Teaching Agricultural Concepts

Farshad Ghooshchi Omidvar
15.80 30.91 лв

Just Solution

Stephen Yearwood
14.35 28.06 лв
13.14 25.70 лв

Клиенти, които купиха тази книга, купиха също

6.87 13.44 лв

Verteidigung als Angriff

Michael Multhammer
148.43 290.30 лв
121.68 237.99 лв
11.08 21.68 лв

Gastronomie českého středověku

Monika Černá-Feyfrlíková
15.50 30.32 лв
43.50 85.08 лв