«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 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Hardware and Software: Verification and Testing Karen Yorav
Código Libristo: 01569878
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2008
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Descripción completa
? points 152 b
62.19 €
Almacenamiento externo Envío en 9-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Žiješ jenom dvakrát Dominik Dán / Libro Tapa dura
common.buy 12.99 €
Пятнадцатилетний капитан Жюль Верн / Libro Tapa blanda
common.buy 10.79 €
Verhaltnis der Irrtumsanfechtung zur Mangelruge nach Schweizer Recht Andreas Ernst / Libro Tapa blanda
common.buy 17.89 €
Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer / Libro Hoja
common.buy 9.69 €
Fluch des Wolfes Patricia Briggs / Libro Tapa blanda
common.buy 10.09 €
Rechtsnormanerkennung im Binnenmarkt. Thomas C. W. Beyer / Libro Tapa blanda
common.buy 100.79 €
Au nom de tous nos dieux Deloges / Libro Tapa blanda
common.buy 25.99 €
Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf / Libro Tapa dura
common.buy 24.99 €
Weise Tierseelen als heilsame Begleiter Elke Söllner / Libro Tapa blanda
common.buy 19.89 €
Valójában remekül Monica Heisey / Libro Tapa blanda
common.buy 13.09 €
Le Chemin Alberto Lemos de Oliveira / Libro Tapa blanda
common.buy 13.39 €
Gegen die Flut der Siegergeschichte Raffael Schneider / Libro electrónico Adobe ePub DRM
common.buy 35.09 €
amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic / Libro Tapa blanda
common.buy 27.69 €
Fonction G.R.H, Vecteur de Modernisation de la Gestion Publique Rachid-A / Libro Tapa blanda
common.buy 35.49 €
LA CASA DE ATREO S. XXI SALOMON BOLCHENKO / Libro Tapa blanda
common.buy 12.19 €
ORIENTATION COMMENT CONSTRUIRE Anne-Hélène Cornec / Libro Tapa blanda
common.buy 7.79 €
As Financas Do Manifesto: Reputacao (1898) Nacional Pu Imprensa Nacional Publisher / Libro Tapa blanda
common.buy 22.59 €
Türkiyeye Ait 100 Büyük Yanilgi Metin Solmaz / Libro Tapa blanda
common.buy 13.29 €
Upravlenie Kachestvom V Khkhi Veke. Chast' II Kuznetsov Leonid / Libro Tapa blanda
common.buy 77.69 €
Ostwind 06 - Der große Orkan Lea Schmidbauer / Libro Tapa dura
common.buy 14.49 €
Trois Livres Des Offices de France. Livre 3 Girard-E / Libro Tapa blanda
common.buy 60.29 €
Causes Celebres Jean Paulhan / Libro Tapa blanda
common.buy 4.49 €
Espacio público y espacio privado / Libro Tapa blanda
common.buy 21.49 €
La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla / Libro Tapa blanda
common.buy 25.29 €

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

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 Hardware and Software: Verification and Testing
Autor Karen Yorav
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 267
EAN 9783540779643
ISBN 3540779647
Código Libristo 01569878
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 444
Dimensiones 155 x 235 x 240

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

Babylonian Expedition of the University of Pennsylvania The Babylonian Expedition / Libro Tapa dura
common.buy 47.79 €
Functional Equations and Inequalities with Applications Pl Kannappan / Libro Tapa blanda
common.buy 337.89 €
Próximamente
Film Genre Book John Sanders / Libro Tapa dura
common.buy 134.59 €
Why Don't We Just...? PATTY MAC SL HEWITT / Libro Tapa blanda
common.buy 21.59 €
Dungeons & Dragons: Honor Among Thieves: The Druid's Call E.K Johnston / Libro Tapa blanda
common.buy 10.49 €
GRAMMAR-SCHOOL ARITHMETIC INCLUDING EASY JOHN HENRY WALSH / Libro Tapa dura
common.buy 40.79 €
Compact Guide to Ontario Birds Krista Kagume / Libro Tapa blanda
common.buy 15.19 €
Infonomics Douglas B Laney / Libro Tapa dura
common.buy 76.99 €
Montfort The Founder of Parliament: The Viceroy 1243-1253 Katherine Ashe / Libro Tapa blanda
common.buy 13.89 €
The Blood Barn Carrie Lorig / Libro Tapa blanda
common.buy 15.39 €
Internet of Things Scott J. Shackelford / Libro Tapa blanda
common.buy 12.79 €
Aimless Life Andrew Offenburger / Libro Tapa blanda
common.buy 16.99 €
Case Studies In Organizational Behavior And Theory For Health Care Borkowski / Libro Tapa blanda
common.buy 101.19 €
Nakamura Letters Frankie Bow / Libro Tapa blanda
common.buy 7.49 €
Bowling Narragansett Machine Company (Provide / Libro Tapa blanda
common.buy 15.49 €
Smell and the Past William Tullett / Libro Tapa dura
common.buy 132.79 €
The Philosophy of Bergson Herbert Wildon Carr / Libro Tapa blanda
common.buy 15.49 €
Popular
Really Easy Piano: 40 Disney Songs - Songbook with Lyrics PIANO / Libro Tapa blanda
common.buy 20.99 €
Popular
Roadkill Dennis E. Taylor / Libro Tapa blanda
common.buy 16.29 €
Bruce Lee Enter the Dragon Scrapbook Sequences Vol 6 Rick Baker / Libro Tapa blanda
common.buy 26.69 €
Atheism & Freedom: An introduction to free thought André Cancian / Libro Tapa blanda
common.buy 15.69 €
Genetic Algorithms and Application in Examination Scheduling Dang Xuan Tho / Libro Tapa blanda
common.buy 42.39 €
Modern Romance Short Stories Sherrie Lynn / Libro Tapa blanda
common.buy 9.99 €
The Life Of Jean-Jacques Olier Edward Healy Thompson / Libro Tapa dura
common.buy 66.89 €

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?