«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

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Aided Verification Kousha Etessami
Código Libristo: 01560845
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2005
This book constitutes the refereed proceedings of the 17th 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

Les conditions de détention, condition de la détention Zientara-Logeay / Libro Tapa blanda
common.buy 48.99 €
LE SYSTÈME JURIDICTIONNEL / Libro Tapa blanda
common.buy 5.29 €
A l'aube des heures fertiles Debarle / Libro Tapa blanda
common.buy 22.09 €
Fragiler Pluralismus Hans-Georg Soeffner / Libro Tapa blanda
common.buy 39.49 €
Koordinationstraining im Golf Marc Müller-Dargusch / Libro Tapa blanda
common.buy 32.89 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Libro Tapa blanda
common.buy 11.59 €
Anglické MAXI křížovky a osmisměrovky / Anglické MAXI krížovky a osemsmerovky / Libro Libro
common.buy 6.09 €
Promisi n CARLOS MAR OCANTOS / Libro Tapa blanda
common.buy 19.99 €
Per si un dia tornem María Dueñas / Libro Tapa dura
common.buy 25.09 €
Histoire des Associations familiales catholiques Michel Emmanuel / Libro Tapa blanda
common.buy 26.09 €
Voyage au bout du monde Chang / Libro Tapa blanda
common.buy 18.19 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Libro Tapa blanda
common.buy 11.79 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Libro Tapa blanda
common.buy 52.69 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Libro Tapa dura
common.buy 434.99 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Libro Tapa blanda
common.buy 46.69 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Libro Tapa blanda
common.buy 22.79 €
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Libro Hoja
common.buy 9.29 €
Gegenschlag Will Jordan / Libro Tapa blanda
common.buy 12.09 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Libro Tapa blanda
common.buy 63.89 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Libro Tapa blanda
common.buy 53.94 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Libro Tapa blanda
common.buy 15.39 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and 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 Computer Aided Verification
Autor Kousha Etessami, Sriram K. Rajamani
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 568
EAN 9783540272311
ISBN 3540272313
Código Libristo 01560845
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1800
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

Contemporary Electroanalytical Chemistry A. Ivaska / Libro Tapa dura
common.buy 225.39 €
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Libro Tapa blanda
common.buy 15.59 €
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Libro Tapa blanda
common.buy 14.49 €
Airplantman Ashlee Goodwin / Libro Tapa blanda
common.buy 13.49 €
Retail Fashion Manufacturing and Technology: It is all about make Charles Nesbit / Libro Tapa blanda
common.buy 7.99 €
Big Data Hai Jin / Libro Tapa blanda
common.buy 56.59 €
Illinois Deserves Better: The Ironclad Case for an Illinois Constitutional Convention Bruno Behrend / Libro Tapa blanda
common.buy 11.59 €
Ucoa: The Biker Experience Thomas Zimmer / Libro Tapa blanda
common.buy 57.49 €
Handbook of Essential Oils K. Husnu Can Baser / Libro Tapa dura
common.buy 382.99 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Libro Tapa blanda
common.buy 13.79 €
Rogues and Vagabonds George R Sims / Libro Tapa blanda
common.buy 15.39 €
Flyleaf Volume One: 2014 Flyleaf Journal / Libro Tapa blanda
common.buy 10.69 €
Journeys of Shattered Souls: : Absolution ? Mandy Steinfeldt Crane / Libro Tapa blanda
common.buy 15.19 €
Small Business Accounting Tools Thomas Ward / Libro Tapa blanda
common.buy 18.79 €
Intellectual Capital in German Non-profit Organisations Katrin Blankenburg / Libro Tapa dura
common.buy 112.79 €
The Claverings Anthony Trollope / Libro Tapa blanda
common.buy 17.09 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Libro Tapa blanda
common.buy 20.29 €
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Libro Tapa dura
common.buy 44.59 €
Submissive Training More Sex More Fun Book Club / Libro Tapa blanda
common.buy 16.29 €
Our World 6: Grammar Workbook CRANDALL SHIN / Libro Hoja
common.buy 15.19 €
Max and Moritz Stefan Hollos / Libro Tapa blanda
common.buy 21.89 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Libro Tapa blanda
common.buy 27.89 €
Twochubbycubs Dinner Time Paul Anderson / Libro Tapa dura
common.buy 24.09 €
Body Intelligence Ph.D. Joseph Cardillo / Audiolibro MP3
common.buy 16.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?