«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.

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Código Libristo: 01660462
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Descripción completa
? points 148 b
60.49 €
Almacenamiento externo en pequeñas cantidades Envío en 9-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Computer-Numerik 2 Christoph W. Überhuber / Libro Tapa blanda
common.buy 56.99 €
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Libro Tapa blanda
common.buy 35.49 €
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Libro Tapa blanda
common.buy 14.19 €
Intimidades en Soledad: Todos en el recuerdo, nadie por nombrar Manuel Jigato Rubio / Libro Tapa blanda
common.buy 10.69 €
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Libro Tapa dura
common.buy 10.89 €
Sono io il piu forte! RAMOS MARIO / Libro Tapa dura
common.buy 12.69 €
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Libro binding.
common.buy 15.29 €
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Libro Tapa dura
common.buy 5.69 €
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Libro Tapa dura
common.buy 41.09 €
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Libro Tapa blanda
common.buy 12.09 €
VALENCIA 2018 PASCUAL IZQUIERDO / Libro Tapa blanda
common.buy 19.59 €
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Libro Tapa blanda
common.buy 20.39 €
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Libro Tapa dura
common.buy 34.29 €
Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung Mark Grohmann / Libro Tapa blanda
common.buy 81.09 €
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Libro Tapa blanda
common.buy 14.19 €
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Libro Tapa blanda
common.buy 31.19 €
Die CSU Alf Mintzel / Libro Tapa blanda
common.buy 58.09 €
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Libro Tapa blanda
common.buy 22.79 €
Westfassade des Domes in Siena Silvia Katzenmaier / Libro Tapa blanda
common.buy 17.89 €
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Libro Tapa blanda
common.buy 52.19 €

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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 Verification, Model Checking, and Abstract Interpretation
Autor Viktor Kuncak, Andrey Rybalchenko
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 457
EAN 9783642279393
ISBN 3642279392
Código Libristo 01660462
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 709
Dimensiones 155 x 235 x 28

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
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

Secret of Chimneys / Libro Tapa blanda
common.buy 20.09 €
Knowledge of Heaven and Earth, Book Two Mick Richfield / Libro Tapa blanda
common.buy 22.09 €
The Art of Painting in Oil John Smith / Libro Tapa blanda
common.buy 16.89 €
Magnus and the Night Lion Sanne Dufft / Libro Tapa blanda
common.buy 9.39 €
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Libro Tapa blanda
common.buy 8.29 €
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Libro Tapa blanda
common.buy 23.89 €
Tender Persuasion Jean Hackensmith / Libro Tapa blanda
common.buy 15.39 €
Royal Merchant; An Opera Fletcher / Libro Tapa dura
common.buy 30.79 €
Mills Mill Pals Pamela Chaffin Foster / Libro Tapa blanda
common.buy 23.79 €
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Libro Tapa blanda
common.buy 32.79 €
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Libro Tapa dura
common.buy 60.39 €
Soul in the Brain Michael R. Trimble / Libro Tapa dura
common.buy 48.19 €
How To Survive Peer Review Elizabeth Wager / Libro Tapa blanda
common.buy 34.09 €
Power System Economics - Designing Markets for Electricity Stoft / Libro Tapa blanda
common.buy 103.39 €

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?