«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

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Barbara Jobstmann
Código Libristo: 02862913
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, diciembre 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... 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

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski / Libro Tapa blanda
common.buy 32.79 €
ESTHETIQUE MUSICALE Dubet / Libro Tapa blanda
common.buy 19.59 €
Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel / Juego/Juguete Juego
common.buy 27.09 €
Wise Man's Grandchild 09 Tsuyoshi Yoshida / Libro Tapa blanda
common.buy 7.29 €
Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig / Libro Tapa blanda
common.buy 31.79 €
Catherine: princezna z Walesu (audiokniha) Robert Jobson / Audio CD de audio
common.buy 19.39 €
Edelweiss Ronnie J. C. / Libro Tapa blanda
common.buy 14.19 €
L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava / Libro Tapa blanda
common.buy 113.59 €
L'Arme invisible: Les Habits Noirs IV Paul Feval / Libro Tapa blanda
common.buy 19.39 €
Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer / Libro Tapa blanda
common.buy 36.39 €
Antología poética Pedro Salinas / Libro Tapa blanda
common.buy 13.49 €
Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A / Libro Tapa blanda
common.buy 35.49 €
Most přes řeku Styx Quirin Jedlička / Libro Tapa blanda
common.buy 7.59 €
Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova / Libro Tapa blanda
common.buy 32.59 €
Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio / Libro Tapa blanda
common.buy 48.69 €

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides 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.

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 Barbara Jobstmann, K. Rustan M. Leino
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 558
EAN 9783662491218
ISBN 3662491214
Código Libristo 02862913
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 866
Dimensiones 155 x 235 x 30

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software > Pruebas y verificación de software
Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
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 > 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

Desire for Society H. G. Furth / Libro Tapa dura
common.buy 112.79 €
Alien Next Door 6: The Mystery Valentine A. I. Newton / Libro Tapa dura
common.buy 17.29 €
International Yearbook of Industrial Statistics 2018 UNIDO / Libro Tapa dura
common.buy 408.49 €
Our Nation in Decline Tom Hopper / Libro Tapa blanda
common.buy 6.99 €
Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine / Libro Tapa blanda
common.buy 16.39 €
Aesthetic Surgery of the Craniofacial Skeleton Li Min M.D . / Libro Tapa dura
common.buy 108.59 €
Encyclopedia of Environmental Protection and Management: Volume IV Chuck Lancaster / Libro Tapa dura
common.buy 134.79 €
Get Your Money Right: The 7 Keys to Unlocking a Better Financial Future Kembala Evans / Libro Tapa blanda
common.buy 20.29 €
Ver-Non-Semper-Viret. Memorial of Admiral Vernon WILLIAM FRED VERNON / Libro Tapa dura
common.buy 32.79 €
Fanatism Dr Samar / Libro Tapa blanda
common.buy 16.89 €
A Latin Vocabulary: Arranged On Etymological Principles As An Exercise Book And First Latin Dictionary (1848) Benjamin Hall Kennedy / Libro Tapa dura
common.buy 38.69 €
Storytelling Phebe Cramer / Libro Tapa dura
common.buy 97.69 €
Retreat to the Reich Samuel W. Mitcham / Libro Tapa blanda
common.buy 18.29 €
Visit to the Farm Michael Morpurgo / Libro Tapa blanda
common.buy 10.29 €
Maat and Ancient Egyptian Magic Mari Silva / Libro Tapa dura
common.buy 25.79 €
Próximamente
Report of the Joint Inspection Unit for 2008 and Programme of Work for 2009 United Nations: Joint Inspection Unit / Libro Tapa blanda
common.buy 13.79 €
The Awful German Language Mark Twain / Libro Tapa dura
common.buy 14.49 €
Night Before Christmas Clement C Moore & Corinne Malvern / Libro Libro de concertinas
common.buy 7.29 €
Myth of Liberal Ascendancy G Williams Domhoff / Libro Tapa blanda
common.buy 58.39 €
Numerical Methods for Differential Equations, Optimization, and Technological Problems Sergei Repin / Libro Tapa dura
common.buy 169.09 €
Comparative Constitutional Design Tom Ginsburg / Libro Tapa blanda
common.buy 66.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?