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

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Natasha Sharygina
Código Libristo: 02075327
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

I ja sam tu, uz vas Smriti Halls / Libro Tapa dura
common.buy 13.19 €
Vie Abregee Du T. H. Frere Polycarpe / Libro Tapa blanda
common.buy 16.09 €
La société patriarcale face à la résistance des femmes Resta / Libro Tapa blanda
common.buy 34.69 €
Kumulyativnye Zaryady Oleg Minin / Libro Tapa blanda
common.buy 88.39 €
Lebensfunken Akin Yildiz / Libro Tapa blanda
common.buy 11.19 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Libro Tapa blanda
common.buy 17.79 €
La enzima para rejuvenecer HIROMI SHINYA / Libro Tapa blanda
common.buy 20.59 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Libro Tapa blanda
common.buy 46.79 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Libro Tapa blanda
common.buy 16.09 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Libro Tapa dura
common.buy 33.49 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Libro Tapa blanda
common.buy 18.19 €
Die ewige Philosophie Aldous Huxley / Libro Tapa blanda
common.buy 21.89 €
Tatort Ägypten Arthur Conan Doyle / Libro Tapa blanda
common.buy 19.89 €
Próximamente
Gittertiere 1. Bd.1 Heidi Schär / Libro Tapa blanda
common.buy 28.09 €
Próximamente
Vegetative Physiologie Gerhard Heldmaier / Libro Tapa dura
common.buy 53.29 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Libro Tapa blanda
common.buy 95.39 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Computer Aided Verification
Autor Natasha Sharygina, Helmut Veith
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 1015
EAN 9783642397981
ISBN 3642397980
Código Libristo 02075327
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1539
Dimensiones 155 x 235 x 56

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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

Debates in Citizenship Education James Arthur / Libro Tapa blanda
common.buy 67.59 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Libro Tapa blanda
common.buy 10.69 €
Cambridge Companion to the Musical William A. Everett / Libro Tapa blanda
common.buy 48.29 €
The Mammals of Israel Walter W. Ferguson / Libro Tapa blanda
common.buy 29.49 €
Spider Tapestries Mike Allen / Libro Tapa blanda
common.buy 16.09 €
Glyph* Shiro Nishimoto / Libro Tapa dura
common.buy 22.49 €
Khobar Towers Air Force History and Museums Program / Libro Tapa blanda
common.buy 31.49 €
Dirty Kiss Rhys Ford / Libro Tapa blanda
common.buy 15.39 €
The Passaic Flood of 1903 Marshall Ora Leighton / Libro Tapa blanda
common.buy 17.59 €
Defending Objectivity Margaret Archer / Libro Tapa dura
common.buy 215.89 €
Compagnie Irlandaise M. W. Kirwan / Libro Tapa blanda
common.buy 24.99 €
Strategic Networking in Small High Tech Firms Mette Monsted / Libro Tapa blanda
common.buy 37.79 €
Wizards' Country DAPHNE ROOKE / Libro Tapa blanda
common.buy 15.29 €
Households as Corporate Firms Krislert Samphantharak / Libro Tapa blanda
common.buy 43.99 €
Exploring Piano Classics Technique Alfred Publishing / Libro Tapa blanda
common.buy 19.09 €
The House of Vanity Hamza Laaouamri / Libro Tapa blanda
common.buy 16.09 €
Inequality in the Digital Economy Andrew White / Libro Tapa blanda
common.buy 150.89 €
Impressive Robert Klanten / Libro Tapa blanda
common.buy 48.49 €
Próximamente Nuevo
The Application of GIS Technologies in the Roman Period Fernandez / Libro Tapa blanda
common.buy 40.69 €
Decentralization and Development Partnership Fumihiko Saito / Libro Tapa blanda
common.buy 56.59 €
Parameter Setting Thomas Roeper / Libro Tapa dura
common.buy 181.49 €
Environmental History of Medieval Europe Richard Hoffmann / Libro Tapa blanda
common.buy 46.69 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Libro Tapa blanda
common.buy 155.59 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Libro Tapa dura
common.buy 118.49 €

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?