«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

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Código Libristo: 01558944
Editores Springer, Berlin, noviembre 2003
This book constitutes the refereed proceedings of the 5th 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

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Libro Tapa blanda
common.buy 31.49 €
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Libro Tapa blanda
common.buy 30.19 €
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Libro Tapa dura
common.buy 11.79 €
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Libro Tapa blanda
common.buy 16.09 €
Koran Hermann-Josef Frisch / Libro Tapa blanda
common.buy 13.99 €
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Libro Tapa blanda
common.buy 19.09 €
Sóvárgás Tracy Wolff / Libro Tapa dura
common.buy 16.79 €
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Libro Tapa blanda
common.buy 20.69 €
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Libro Tapa blanda
common.buy 155.29 €
Stvorenie hriechu Michal Kučerka / Libro Tapa blanda
common.buy 8.49 €
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Libro Tapa blanda
common.buy 7.39 €
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Libro Tapa blanda
common.buy 9.49 €

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

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 Bernhard Steffen, Giorgio Levi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 325
EAN 9783540208037
ISBN 3540208038
Código Libristo 01558944
Editores Springer, Berlin
Peso 480
Dimensiones 156 x 234 x 18

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

Cybersecurity Evan Jones / Libro Tapa blanda
common.buy 52.19 €
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Libro Tapa blanda
common.buy 5.99 €
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Libro Tapa dura
common.buy 27.89 €
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Libro Tapa blanda
common.buy 20.99 €
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Libro Tapa dura
common.buy 50.29 €
Truths of Spiritualism Wilson Ebenezer V. Wilson / Libro Tapa blanda
common.buy 29.59 €
The Things We Do For Love: Luke & Shelly Anita Louise / Libro Tapa blanda
common.buy 13.49 €
Unlevel Crossings Michael O'Leary / Libro Tapa blanda
common.buy 7.49 €
Letters from Dollar the Contributor Bunny McCollonough Ceili / Libro Tapa blanda
common.buy 8.89 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Libro Tapa blanda
common.buy 20.79 €
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Libro Tapa blanda
common.buy 56.59 €
NRSV Reference Bible, NR560:X BIBLE / Libro Tapa dura
common.buy 21.59 €
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Libro Tapa blanda
common.buy 7.99 €
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Libro Tapa blanda
common.buy 14.49 €
History of the Roman Empire John Bagnell Bury / Libro Tapa blanda
common.buy 40.39 €
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Libro Tapa blanda
common.buy 39.69 €
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Libro Tapa blanda
common.buy 112.79 €
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Libro Tapa dura
common.buy 56.59 €
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Libro Tapa blanda
common.buy 20.39 €
Self-Determination and Secession in International Law Christian Walter / Libro Tapa dura
common.buy 219.99 €
History, Politics, and the Novel Dominick LaCapra / Libro Tapa blanda
common.buy 52.79 €
In Subordination Mary Kinnear / Libro Tapa blanda
common.buy 47.99 €
Physics of High Power Laser Matter Interactions H. Takabe / Libro Tapa dura
common.buy 173.89 €
Factors Affecting Calf Crop Michael J. Fields / Libro Tapa dura
common.buy 328.29 €

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?