«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

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

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

Política de devolución de 30 días

Clientes que también han comprado

Hitze Sina de Malafosse / Libro Tapa blanda
common.buy 12.59 €
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Libro Tapa blanda
common.buy 14.49 €
Tomke gräbt Julia Dürr / Libro Tapa dura
common.buy 16.09 €
Discorsi di genere nelle politiche egiziane Haytham Mones / Libro Tapa blanda
common.buy 35.49 €
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Libro Tapa blanda
common.buy 70.79 €
Struttura Dell'Anima Jeffrey Wolf Green / Libro Tapa blanda
common.buy 24.09 €
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Libro Tapa blanda
common.buy 73.99 €
Ernst Jünger Helmuth Kiesel / Libro Tapa blanda
common.buy 19.39 €
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Libro Tapa blanda
common.buy 7.99 €
Económico
Lie Down In The Light Bonnie 'Prince' Billy / Audio CD de audio
common.buy 9.29 €
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Libro Tapa blanda
common.buy 21.59 €
Es werde Licht Frido Mann / Libro Tapa blanda
common.buy 14.99 €
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Artículos impresos Partituras
common.buy 19.89 €
La beauté du geste Rey / Libro Tapa blanda
common.buy 19.59 €
Qualitative Sozialforschung Thomas Heinze / Libro Tapa blanda
common.buy 41.59 €
Germanen und Slaven Georg Buschan / Libro Tapa blanda
common.buy 12.89 €
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Libro Tapa blanda
common.buy 21.79 €
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Libro Tapa dura
common.buy 87.79 €
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Libro Tapa dura
common.buy 345.69 €
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Video DVD
common.buy 17.99 €
SAN JUDAS 27 (La catedral del dolor) / Libro Tapa blanda
common.buy 24.59 €
Horoskopdeutung für den Vater Sina Nuêmo / Libro Tapa blanda
common.buy 19.69 €

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence.§The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 85 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimisations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

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 Hanne Riis Nielson, Gilberto Filé
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2007
Número de páginas 469
EAN 9783540740605
ISBN 3540740600
Código Libristo 01568998
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 741
Dimensiones 155 x 235 x 27

Categorías

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
Computación e informática > Sistemas operativos
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

Transformative Witchcraft Jason Mankey / Libro Tapa blanda
common.buy 21.99 €
Adaptive Education Robert van Wynsberghe / Libro Tapa dura
common.buy 62.99 €
March of Folly Barbara Wertheim Tuchman / Libro Tapa blanda
common.buy 20.49 €
Paine Field Steve K. Bertrand / Libro Tapa blanda
common.buy 21.89 €
Nols Bear Essentials John Gookin / Libro Tapa blanda
common.buy 9.59 €
I Love You Every Second Sandra A. Hinds / Libro Tapa blanda
common.buy 21.99 €
Hunger Knut Hamsun / Libro Tapa blanda
common.buy 8.39 €
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Libro Tapa blanda
common.buy 132.69 €
Children of Morwena Helene Smith / Libro Tapa blanda
common.buy 14.19 €
Swiss Neutrality EDGAR / Libro Tapa blanda
common.buy 62.29 €
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Libro Tapa dura
common.buy 34.79 €
Popular
Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Libro Tapa blanda
common.buy 61.79 €
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Libro Tapa blanda
common.buy 21.99 €
Middle Ages Eleanor Janega / Libro Tapa blanda
common.buy 19.59 €
Mixed Race Student Politics James Ong / Libro Tapa blanda
common.buy 16.19 €
Modeling Economic Instability Michaël Assous / Libro Tapa dura
common.buy 124.09 €
Virginia Woolf Collection Virginia Woolf / Libro Tapa blanda
common.buy 39.89 €
Swami Vivekananda Info Edge / Libro Tapa blanda
common.buy 16.09 €
French Windows Louise Rogers Lalaurie / Libro Tapa dura
common.buy 19.59 €
Próximamente
Mathilda Mary Wollstonecraft Shelley / Libro Tapa blanda
common.buy 10.49 €
Fresh Fruit, Broken Bodies Seth M Holmes / Libro Tapa blanda
common.buy 29.59 €
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Libro Tapa blanda
common.buy 124.09 €
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Libro Tapa dura
common.buy 112.79 €
Silent Ones William Brodrick / Libro Tapa blanda
common.buy 13.59 €

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?