Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Kenneth McMillan, Xavier Rival
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the refereed proceedings of the 15th International Conference on Verification,...

Információk a könyvről

Szerző
Kenneth McMillan, Xavier Rival
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
493
EAN
9783642540127
ISBN
3642540120
Enbook ID
02340914
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
7664
Méretek
155 x 235 x 28

Teljes leírás

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.

Érdekelheti

Subnational Population Estimates

David A. Swanson
69 221 Ft

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
7 164 Ft

Human Experiment

David Carmichael
68 140 Ft

History of Judaism

Martin Goodman
6 810 Ft

Follow Me Adult Colouring Book

Esther Pincini
5 174 Ft

Spatial Modeling Principles in Earth Sciences

Zekai Sen
53 099 Ft

Naturalizations of Mexican Americans

John P Schmal
13 660 Ft

Biometric Authentication: An Hybrid Face Recognition System Model

Adebayo Kolawole John
16 462 Ft

Perfect Pet for Peyton

Mr Rick Osborne
5 416 Ft

Circulating Nucleic Acids in Plasma and Serum V

Peter B. Gahan
71 866 Ft

Anecdotal Theory

Jane Gallop
12 835 Ft

Atlas of Rectal Endosonography

John Beynon
19 305 Ft

New Directions in Wireless Communications Research

Vahid Tarokh
62 070 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

No Me Maltrates = Do Not Mistreat Me

Bernardo Stamateas
6 653 Ft

Hexen und Magie

Johannes Dillinger
8 899 Ft

Je ne veux pas mourir idiot

Georges Wolinski
4 506 Ft