«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

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Madhusudan Parthasarathy
Código Libristo: 01661539
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... 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

Paladear con el cerebro Francisco Javier Cudeiro Mazaira / Libro Tapa blanda
common.buy 14.89 €
Soupis staročeských exempel Karel Dvořák / Libro Tapa dura
common.buy 10.29 €
Grammaire Anglaise Anne-Marie Bonnerot / Libro Tapa blanda
common.buy 4.49 €
Netzwerk Stefanie Dengler / Libro Tapa blanda
common.buy 22.89 €
Tonio Kröger Thomas Mann / Libro Tapa blanda
common.buy 12.69 €
Gesse wird deheim Svetlana Handschuh / Libro Tapa blanda
common.buy 14.39 €
Hände weg von Mississippi Cornelia Funke / Libro Tapa dura
common.buy 13.29 €
Die Radiotrinkerin Max Goldt / Libro Tapa blanda
common.buy 13.99 €
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Libro Tapa blanda
common.buy 23.19 €
Blanche-Neige doit mourir Nele Neuhaus / Libro Tapa blanda
common.buy 13.99 €
Karl May Moc fantázie Helmut Schmiedt / Libro Tapa dura
common.buy 17.69 €
Nunca mas olvidada Christina McKnight / Libro electrónico Adobe ePub DRM
common.buy 5.19 €
La Guerre au XXIe siecle Murawiec Laurent Murawiec / Libro electrónico Adobe ePub DRM
common.buy 19.69 €

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

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 Madhusudan Parthasarathy, Sanjit A. Seshia
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 789
EAN 9783642314230
ISBN 3642314236
Código Libristo 01661539
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1200
Dimensiones 155 x 235 x 44

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
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 > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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 > Hardware (o soporte físico del ordenador)
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

Eumon the Treleum F R Kenabiget / Libro Tapa dura
common.buy 20.39 €
RIGBY PM PLUS Rigby / Libro Tapa blanda
common.buy 62.19 €
No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety Jeffery Sims / Libro Tapa blanda
common.buy 11.79 €
Life and Times of A Black Man from Georgia Coach James Carr / Libro Tapa blanda
common.buy 18.89 €
Waste Books Georg Lichtenberg / Libro Tapa blanda
common.buy 14.99 €
Walking the Tightrope of Reason Robert Fogelin / Libro Tapa blanda
common.buy 21.69 €
Atlas of Nevada Conifers David Alan Charlet / Libro Tapa blanda
common.buy 37.59 €
101 Recipes for Making Cheese Cynthia Martin / Libro Tapa blanda
common.buy 32.29 €
Forensic Sciences of CSI Elke Weissmann / Libro Tapa blanda
common.buy 85.09 €
Callback Bill Svanoe / Libro Tapa blanda
common.buy 15.49 €
Lutchmee and Dilloo John Edward Jenkins / Libro Tapa blanda
common.buy 27.19 €
To the Point of a Powerful Return Janice Darty / Libro Tapa blanda
common.buy 17.99 €
Django 1.1 Testing and Debugging K. Tracey / Libro Tapa blanda
common.buy 58.29 €
Britcoms FAQ Dave Thompson / Libro Tapa blanda
common.buy 21.19 €
Space Explorers McGraw-Hill Education / Libro Tapa blanda
common.buy 25.69 €
M-Step Grade 8 English Language Arts Flashcard Study System: M-Step Test Practice Questions and Exam Review for the Michigan Student Test of Education M-Step Exam Secrets Test Prep / Juego/Juguete Juego
common.buy 44.19 €
Fatigue of the Shari'a A. Ahmad / Libro Tapa blanda
common.buy 58.29 €
European Union and the BRICS Marek Rewizorski / Libro Tapa blanda
common.buy 56.59 €
How Hard Can It Be? Allison Pearson / Libro Tapa blanda
common.buy 12.79 €
Multiplicative Invariant Theory Martin Lorenz / Libro Tapa blanda
common.buy 124.09 €
Steel Wheels Live Rolling Stones / Libro binding.
common.buy 58.69 €
A Handbook Of Rocks: For Use Without The Petrographic Microscope James Furman Kemp / Libro Tapa dura
common.buy 37.49 €
Soul Plan Blue Marsden / Libro Tapa blanda
common.buy 18.49 €
Extending jQuery Keith Wood / Libro Tapa blanda
common.buy 52.99 €

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?