Menu
Află starea comenzii
Contactați-ne
Carte Verification, Model Checking, and Abstract Interpretation Kenneth McMillan

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Autor: Kenneth McMillan, Xavier Rival
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the refereed proceedings of the 15th International Conference on Verification,...

Informații despre carte

Autor
Kenneth McMillan, Xavier Rival
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
493
EAN
9783642540127
ISBN
3642540120
Enbook ID
02340914
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
7664
Dimensiuni
155 x 235 x 28

Descriere completă

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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.

S-ar putea să te intereseze

Subnational Population Estimates

David A. Swanson
994.58 lei

London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar

Samuel Johnson
103.14 lei

Human Experiment

David Carmichael
982.65 lei

History of Judaism

Martin Goodman
97.07 lei

Follow Me Adult Colouring Book

Esther Pincini
74.32 lei

Spatial Modeling Principles in Earth Sciences

Zekai Sen
749.04 lei

Naturalizations of Mexican Americans

John P Schmal
196.88 lei

Biometric Authentication: An Hybrid Face Recognition System Model

Adebayo Kolawole John
236.02 lei

Perfect Pet for Peyton

Mr Rick Osborne
77.46 lei

Circulating Nucleic Acids in Plasma and Serum V

Peter B. Gahan
1 037.56 lei

Anecdotal Theory

Jane Gallop
185.36 lei

Atlas of Rectal Endosonography

John Beynon
277.38 lei

New Directions in Wireless Communications Research

Vahid Tarokh
895.27 lei

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

No Me Maltrates = Do Not Mistreat Me

Bernardo Stamateas
98.59 lei

Hexen und Magie

Johannes Dillinger
127.81 lei

Je ne veux pas mourir idiot

Georges Wolinski
66.73 lei