Menu
Află starea comenzii
Contactați-ne
Carte 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

Autor: Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei
This book constitutes the refereed proceedings of the 16th International Conference on Verification,...

Informații despre carte

Autor
Deepak D'Souza, Akash Lal, Kim Gulstrand Larsen
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
468
EAN
9783662460801
ISBN
3662460807
Enbook ID
09136925
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
7314
Dimensiuni
155 x 235 x 25

Descriere completă

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.

S-ar putea să te intereseze

Migrant Passage

Noelle Kateri Brigden
875.28 lei

Alien Zone II

Rick Kuhn
156.47 lei

Prosecuting Maritime Piracy

Michael P. Scharf
298.51 lei

Communion-Office for the Use of the Church of Scotland, as Far as Concerneth the Ministration of That Holy Sacrament

MULTIPLE CONTRIBUTOR
143.45 lei

Society, Institutions, and Individuals

David G Embrick
737.67 lei

What's What in America

Eugene V. Brewster
120.15 lei

Flight of the Valkyrie

K S Daniels
69.70 lei

What Jack Taught Grandpa: Practical Wisdom from a Knee-High Perspective

Bob Heckman
51.85 lei

Annabelle's Reading Log

Martha Day Zschock
85.04 lei

New Wine

T a Prickett
71.01 lei

West Dorset Guide Book

41.35 lei

Political History of Spanish

José Del Valle
297.91 lei

Modern Leadership Development and Excellence

DR.S.K. BABOOA
88.06 lei

Teaching Agricultural Concepts

Farshad Ghooshchi Omidvar
75.66 lei

Just Solution

Stephen Yearwood
78.98 lei

Two Days of Doubt

Cort
73.34 lei

Clienții care au cumpărat această carte au mai cumpărat și

Kein Makel um die Liberator

Emmerich Nilson
36.11 lei

Verteidigung als Angriff

Michael Multhammer
740.80 lei

Modernitat ALS Paradox

Birgit Hoock
637.60 lei

Republique Oui ! Les Radicaux Jamais ! Extrait Du Chapitre IV de la Brochure Qui Vive ?

Sans Auteur
72.93 lei

Typenbildung in Der Sozialwissenschaftlichen Umweltforschung

Gerhard De Haan
310.12 lei

Je m'habille - a.telier, emanuela collini

Xxxxxxx
31.97 lei

Gruzínština konverzace

collegium
55.07 lei

Gastronomie českého středověku

Monika Černá-Feyfrlíková
77.07 lei

'... meine besten Schüler sind meistens Juden.'

Thomas Brechenmacher
217.00 lei