«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

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

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

Hasta 30 días para devoluciones

Clientes que también han comprado

Aféra Granvillových Una-Mary Parker / Libro Tapa blanda
common.buy 13.99 €
Langenscheidt Die kulinarische Sprachreise Italienisch / Libro Tapa dura
common.buy 16.89 €
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Libro Tapa blanda
common.buy 26.79 €
Cherry Bomb Tyler / Audio CD de audio
common.buy 16.19 €
FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Libro Tapa blanda
common.buy 59.99 €
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Libro Tapa blanda
common.buy 39.39 €
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Libro Tapa blanda
common.buy 30.09 €
La reina sola JORGE MOLIST / Libro Tapa blanda
common.buy 13.19 €
Microfinance: Maitriser les activités des institutions de microfinance Kawele Kouadio / Libro Tapa blanda
common.buy 15.39 €
Patient Scheidungsfamilie Helmuth Figdor / Libro Tapa blanda
common.buy 34.49 €
Amazing Spider-Man Návrat ke kořenům Nick Spencer / Libro Tapa blanda
common.buy 12.99 €
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Libro Tapa blanda
common.buy 5.99 €
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Libro Tapa blanda
common.buy 17.89 €
Au Coeur De L'Afrique, 1868-1871 V2: Voyages Et Decouvertes Dans Les Regions Inexplorees De L'Afrique Centrale (1875) Georg August Schweinfurth / Libro Tapa blanda
common.buy 39.69 €
Nerudův verš Jakub Říha / Libro Tapa blanda
common.buy 5.69 €
Verordnung über die Berufsausbildung zum Brenner/zur Brennerin Antiphon Verlag / Libro Tapa blanda
common.buy 12.69 €
Lieder Oswalds von Wolkenstein Burghart Wachinger / Libro Tapa blanda
common.buy 23.49 €
Etude Sur La Restauration de la Levre Inferieure, Nouveau Procede de M. Letievant BERNARD-A / Libro Tapa blanda
common.buy 16.09 €
Juegos de ingenio John Katzenbach / Libro Tapa blanda
common.buy 14.49 €
El Rubius 100% no oficial MARTINA REIS / Libro Tapa blanda
common.buy 13.49 €
Organizacja procesowa Piotr Grajewski / Libro Tapa blanda
common.buy 14.99 €
Auftakte Uwe David / Libro Tapa blanda
common.buy 19.79 €

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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 Thomas Ball, Robert B. Jones
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 564
EAN 9783540374060
ISBN 354037406X
Código Libristo 01562480
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1780
Dimensiones 155 x 235 x 32

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
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 > Ciencias de la computación > Inteligencia artificial
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

Managing Cybersecurity Risk Jonathan Reuvid / Libro Tapa blanda
common.buy 49.79 €
Starling of the White House Edmund W. Starling / Libro Tapa blanda
common.buy 29.49 €
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Libro Tapa blanda
common.buy 35.89 €
Dylan Thomas Rushworth M. Kidder / Libro Tapa dura
common.buy 124.49 €
Inspector Jack Carter Empire Rising Mark Woodcraft / Libro Tapa blanda
common.buy 17.39 €
Intelligent Microgrid Management and EV Control Under Uncertainties in Smart Grid Ran Wang / Libro Tapa dura
common.buy 135.29 €
Mae Madden MARY MURDOCH MASON / Libro Tapa dura
common.buy 31.79 €
Assessment of Native Species and Ungulate Grazing in the Southwest: Terrestrial Wildlife United States Department of Agriculture / Libro Tapa blanda
common.buy 16.39 €
Mathematical Methods for Physics and Engineering Blennow / Libro Tapa blanda
common.buy 180.49 €
Positive Rules! Jennifer L. Simmonds / Libro Tapa blanda
common.buy 26.29 €
Short History of England Simon (Columnist) Jenkins / Libro Tapa blanda
common.buy 13.09 €
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Libro Tapa blanda
common.buy 15.29 €
WILLOWS AND OTHER STORIES Algernon Blackwood / Libro Tapa dura
common.buy 78.29 €
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Libro Tapa blanda
common.buy 27.89 €
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Libro Tapa blanda
common.buy 21.99 €
Quality management and the strategic plan / Libro Tapa blanda
common.buy 37.39 €
Five Years On The Inside Fisher Garth D. Fisher / Libro Tapa blanda
common.buy 9.79 €
Legacy of Pope Benedict XVI Charles A. Coulombe / Libro electrónico Adobe ePub DRM
common.buy 10.39 €
Popular
What Went Wrong With Capitalism Ruchir Sharma / Libro Tapa dura
common.buy 28.59 €
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / Libro electrónico Adobe ePub DRM
common.buy 171.19 €
Nuevo
Keeping Contact – Jewish Cultural Initiatives Across Cold War Borders Rebekah Klein–pejsová / Libro Tapa dura
common.buy 141.19 €
Power in Business and the State Frank Bealey / Libro Tapa dura
common.buy 152.59 €
Katherine Mansfield and World War One Gerri Kimber / Libro Tapa dura
common.buy 126.89 €
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Libro Tapa blanda
common.buy 106.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?