Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka 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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42 zł
This book constitutes the refereed proceedings of the 15th International Conference on Verification,...

Informacje o książce

Autor
Kenneth McMillan, Xavier Rival
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2014
strony
493
EAN
9783642540127
ISBN
3642540120
Enbook ID
02340914
Wydawca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga
7664
Wymiary
155 x 235 x 28

Pełny opis

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.

Możesz być zainteresowany

Subnational Population Estimates

David A. Swanson
761.32 zł

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
79.53 zł

Human Experiment

David Carmichael
756.84 zł

History of Judaism

Martin Goodman
73.10 zł

Follow Me Adult Colouring Book

Esther Pincini
57.04 zł

Spatial Modeling Principles in Earth Sciences

Zekai Sen
574.20 zł

Naturalizations of Mexican Americans

John P Schmal
151.57 zł

Biometric Authentication: An Hybrid Face Recognition System Model

Adebayo Kolawole John
179.91 zł

Perfect Pet for Peyton

Mr Rick Osborne
58.79 zł

Circulating Nucleic Acids in Plasma and Serum V

Peter B. Gahan
800.94 zł

Anecdotal Theory

Jane Gallop
143.11 zł

Atlas of Rectal Endosonography

John Beynon
212.42 zł

New Directions in Wireless Communications Research

Vahid Tarokh
722.38 zł

Klienci, którzy kupili tę książkę, kupili również

No Me Maltrates = Do Not Mistreat Me

Bernardo Stamateas
79.53 zł

Hexen und Magie

Johannes Dillinger
97.74 zł

Je ne veux pas mourir idiot

Georges Wolinski
53.83 zł