Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha 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
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
This book constitutes the refereed proceedings of the 15th International Conference on Verification,...

Informace o knize

Autor
Kenneth McMillan, Xavier Rival
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2014
Stránek
493
EAN
9783642540127
ISBN
3642540120
Enbook ID
02340914
Vydavatel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost
7664
Rozměry
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 zajímat

Subnational Population Estimates

David A. Swanson
4 111 Kč

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
432 Kč

Human Experiment

David Carmichael
4 116 Kč

History of Judaism

Martin Goodman
388 Kč

Follow Me Adult Colouring Book

Esther Pincini
309 Kč

Spatial Modeling Principles in Earth Sciences

Zekai Sen
3 278 Kč

Naturalizations of Mexican Americans

John P Schmal
824 Kč

Biometric Authentication: An Hybrid Face Recognition System Model

Adebayo Kolawole John
967 Kč

Perfect Pet for Peyton

Mr Rick Osborne
315 Kč

Circulating Nucleic Acids in Plasma and Serum V

Peter B. Gahan
4 364 Kč

Anecdotal Theory

Jane Gallop
779 Kč

Atlas of Rectal Endosonography

John Beynon
1 147 Kč

New Directions in Wireless Communications Research

Vahid Tarokh
3 938 Kč

Zákaznicí kteří koupili tuto knihu koupili také

No Me Maltrates = Do Not Mistreat Me

Bernardo Stamateas
454 Kč

Hexen und Magie

Johannes Dillinger
527 Kč

Je ne veux pas mourir idiot

Georges Wolinski
307 Kč