Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642540127
Price: 50.19 EUR
Availability: InStock

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

Autor: Kenneth McMillan, Xavier Rival

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification,...

Informácie o knihe

Autor

Kenneth McMillan, Xavier Rival

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

493

EAN

9783642540127

ISBN

3642540120

Enbook ID

02340914

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

7664

Rozmery

155 x 235 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verification, Model Checking, and Abstract Interpretation

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Subnational Population Estimates

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

Human Experiment

History of Judaism

Follow Me Adult Colouring Book

Spatial Modeling Principles in Earth Sciences

Naturalizations of Mexican Americans

Biometric Authentication: An Hybrid Face Recognition System Model

Perfect Pet for Peyton

Circulating Nucleic Acids in Plasma and Serum V

Anecdotal Theory

Atlas of Rectal Endosonography

New Directions in Wireless Communications Research

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

No Me Maltrates = Do Not Mistreat Me

Hexen und Magie

Je ne veux pas mourir idiot