«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Static Analysis Antoine Mine
Código Libristo: 01662058
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Diego Rivera TIBOL / Libro Tapa dura
common.buy 46.80 €
Powieści Marguerite Duras Stekolshchikova Irina Stekolshchikova / Libro Tapa blanda
common.buy 51.59 €
wols / catalogue de l'exposition Sous la direction de anne montfort / Libro Libro
common.buy 45.79 €
Puzzle 20 maxi Trzy małe świnki C-02399 / Libro binding.
common.buy 9.09 €
Mes livres mon carnet de lecture Marisol Liasu / Libro Tapa blanda
common.buy 10.29 €
scambio John Grisham / Libro Tapa dura
common.buy 39.99 €
Les outils qualitatifs en géographie - 2e éd. Marianne Morange / Libro Tapa blanda
common.buy 31.29 €
La conspiración contra la especie humana THOMAS LIGOTTI / Libro Tapa blanda
common.buy 22.29 €
BABADADA, Cymraeg - Schwiizerdutsch, geiriadur lluniau - Bildwoerterbuech Babadada Gmbh / Libro Tapa blanda
common.buy 29.49 €
Nebe voní tebou Eva Hrašková / Libro Tapa dura
common.buy 3.19 €
Los puritanos y otros cuentos Armando Palacio Valdes / Libro Tapa blanda
common.buy 7.99 €
Creation du Boxeur Ultime: Apprenez les secrets et les astuces utilises par les meilleurs boxeurs et entraineurs professionnels pour ameliorer vo Correa (Athlete Professionnel Et Entrain / Libro Tapa blanda
common.buy 24.79 €
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen / Libro Tapa blanda
common.buy 15.19 €
El libro de los besos y la niebla Xosé Carlos Caneiro / Libro Tapa blanda
common.buy 17.89 €
Triada, Predestinación Laura Gallego / Libro Tapa blanda
common.buy 13.89 €
Österreichisches Wohnrecht. Kommentar Till Hausmann / Libro Hoja
common.buy 206.49 €
Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719) Nicolas Boindin / Libro Tapa blanda
common.buy 26.69 €
Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen / Libro Tapa blanda
common.buy 30.99 €
Frozen Planet, The Blue Planet, Planet Earth: Das Klavieralbum George Fenton / Libro Tapa blanda
common.buy 20.29 €
Optische Rhetorik Peter Mohr / Libro Tapa blanda
common.buy 29.59 €
Schattenvolk Viola Huber / Libro Tapa blanda
common.buy 19.79 €
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Libro Tapa blanda
common.buy 27.69 €

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Static Analysis
Autor Antoine Mine, David Schmidt
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 457
EAN 9783642331244
ISBN 3642331246
Código Libristo 01662058
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 718
Dimensiones 155 x 235 x 26

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Healing the Broken Brain Dr Mike Dow / Libro Tapa blanda
common.buy 16.29 €
From Troublesome Creek Duane (Kansas State University and Iowa State University) Acker / Libro Tapa blanda
common.buy 18.09 €
Genealogical Abstracts of the Laws of Pennsylvania and the Statutes at Large Candy Livengood / Libro Tapa blanda
common.buy 33.49 €
A Challenge to Adventure Alice Turner Curtis / Libro Tapa dura
common.buy 35.79 €
The Battle for the Mind Kenneth Wayne Gilmore / Libro Tapa blanda
common.buy 11.29 €
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work Kim Bailey / Libro Tapa blanda
common.buy 34.59 €
Goblin Slayer, Vol. 13 (light novel) Kumo Kagyu / Libro Tapa blanda
common.buy 13.89 €
Introduction to Criminology Michael Rowe / Libro Tapa dura
common.buy 188.59 €
Coraline Graphic Novel Neil Gaiman / Libro Tapa blanda
common.buy 8.89 €
Obey Shepard Fairey / Libro Tapa dura
common.buy 39.69 €
How to Draw Barnyard Animals and Farm Friends! Activity Book CREATIVE PLAYBOOKS / Libro Tapa blanda
common.buy 8.99 €
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Libro Tapa blanda
common.buy 12.59 €
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes Tatiana Bandurina / Libro Tapa blanda
common.buy 26.99 €
Antithesis Ricky Dee / Libro Tapa blanda
common.buy 15.39 €
Excel in CRE Livinus Wesonga / Libro Tapa blanda
common.buy 15.39 €
Token for Mourners JOHN FLAVEL / Libro Tapa dura
common.buy 31.79 €
An Introduction to Waste Stream Treatment by Precipitation J. Paul Guyer / Libro Tapa blanda
common.buy 28.49 €
They Say I've Had a Stroke: A Stroke Survivor's Journey Elleigh Lee / Libro Tapa blanda
common.buy 29.49 €
The Fowl Twins Eoin Colfer / Libro Tapa dura
common.buy 32.49 €
Vehicle Dynamics, Stability, and Control Dean Karnopp / Libro Tapa dura
common.buy 264.09 €
Dialect Change Peter AuerFrans HinskensPaul Kerswill / Libro Tapa blanda
common.buy 65.09 €
Mapai in Israel: Political Organisation and Government in a New Society Peter Y. Medding / Libro Tapa blanda
common.buy 49.79 €
Chioggia and the Villages of the Venetian Lagoon Richard J. Goy / Libro Tapa dura
common.buy 97.99 €
Darwinism and its Discontents Michael Ruse / Libro Tapa blanda
common.buy 41.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?