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

Hardware and Software: Verification and Testing

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Hardware and Software: Verification and Testing Kerstin Eder
Código Libristo: 01662393
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2012
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International H... Descripción completa
? points 127 b
52.09 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Un bosque ciudad Maribel Lechuga González / Libro Tapa blanda
common.buy 9.29 €
Confronto tra forza e resistenza della presa tra violinisti e non violinisti Anushree Narekuli / Libro Tapa blanda
common.buy 35.49 €
Aramizda Robot Var Bertie Fraser / Libro Tapa blanda
common.buy 15.49 €
Das Wesen Der Freien Christlichen Kirche (1847) Johannes Ronge / Libro Tapa dura
common.buy 36.69 €
EinFach Deutsch Unterrichtsmodelle Josef Schnell / Libro Tapa blanda
common.buy 40.99 €
Madonnengrab Walter M. Dobrow / Libro Tapa blanda
common.buy 12.49 €
Con gli occhi di Caravaggio. Napoli, 1606-1610 Francesco De Core / Libro Tapa dura
common.buy 34.19 €
Itinerari francescani. Visita ai luoghi dove visse san Francesco Fernando Uribe / Libro Tapa blanda
common.buy 23.69 €
Zunftzeichen Schulze Media GmbH / Libro Hoja
common.buy 8.99 €
DEFI INSTITUTO FRANCES 2. LIVRE DE L'ELEVE VVAA / Libro Libro
common.buy 24.99 €
100 PROGRESSIVE STUDIES WITHOUT OCTAVES OP. 139 PIANO MARTIN FREY Artículos impresos Partituras
common.buy 54.89 €
Anvisning Till Islandskan Eller Nordiska Fornspraket Rasmus Rask / Libro Tapa blanda
common.buy 25.69 €
FROZEN Disney Enterprises / Libro Tapa dura
common.buy 23.49 €
Gute Nacht, Punpun 08. Bd.8 Inio Asano / Libro Tapa blanda
common.buy 7.69 €
Zebřičky Miroslav Příhoda / Libro Tapa blanda
common.buy 6.99 €
Gesammelte Werke Alexander Von Humboldt / Libro Tapa blanda
common.buy 25.69 €
Erbverbruderungen zwischen den Hausern Sachsen und Hessen Edgar Loening / Libro Tapa blanda
common.buy 16.89 €
Formule d'Un Traite d'Arbitrage Entre Nations Charles Lemonnier / Libro Tapa blanda
common.buy 14.19 €
Autobiografía G. K. Chesterton / Libro Tapa blanda
common.buy 23.00 €

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. §The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

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 Kerstin Eder, Jo, Onn Shehory
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 263
EAN 9783642341878
ISBN 364234187X
Código Libristo 01662393
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 427
Dimensiones 155 x 235 x 16

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

Follow Me Back Nicci Cloke / Libro Tapa blanda
common.buy 10.49 €
Synapse Symphony N Bonfanti / Libro Tapa blanda
common.buy 8.89 €
Knowledge Quiz: Higher Maths Jo Morgan / Libro Tapa blanda
common.buy 13.79 €
Legislation in Europe Ulrich Karpen / Libro Tapa dura
common.buy 206.69 €
Christmastime 1941 Linda Mahkovec / Libro Tapa blanda
common.buy 14.19 €
The Expressman and the Detective Allan Pinkerton / Libro Tapa blanda
common.buy 13.59 €
Family Night on Union Station E. M. FONER / Libro Tapa blanda
common.buy 12.79 €
Olivia Lauren's Olivia Travels: A Guide to Modes of Transportation Melissa-Sue John / Libro Tapa blanda
common.buy 10.69 €
True Life Biblical Expierience of Our Time: The First Bible of the Demon Culture, Chanelle Maris Arnold Sr / Libro Tapa blanda
common.buy 11.79 €
Genealogy of the Bliss Family in America, From About the Year 1550 to 1880 SYLVESTER BLISS / Libro Tapa dura
common.buy 35.89 €
Magic Rising (Book 4, Stella Mayweather Series) Camilla Chafer / Libro Tapa blanda
common.buy 14.49 €
Superclerk Petar Kostadinov / Libro Tapa blanda
common.buy 10.69 €
44 Chapters about 4 Men Bb Easton / Libro Tapa blanda
common.buy 14.99 €
Pure Survival Samuel T. Heart / Libro Tapa blanda
common.buy 16.49 €
Living Words Teachers Level 3 Songs Paul BARKER / Libro Tapa blanda
common.buy 40.69 €
Popular
Exile Ryan Cahill / Libro Tapa dura
common.buy 20.09 €
CompTIA Security+ All-in-One Exam Guide, Fourth Edition (Exam SY0-401) Wm. Arthur Conklin / Libro electrónico Adobe ePub DRM
common.buy 65.79 €
Myths of Greece and Rome Jane Harrison / Libro Tapa dura
common.buy 30.79 €
Sidewalk Cruiseship: Poems Mary Oishi / Libro Tapa blanda
common.buy 17.09 €
DK Eyewitness Top 10 Munich DK Travel / Libro Tapa blanda
common.buy 11.69 €
The Violence on the meek collection Jason Nickey / Libro Tapa blanda
common.buy 21.89 €
BOSNIAN, CROATIAN, SERBIAN: A TEXTBOOK, 2ND ED (PLUS FREE DVD) Ellen Elias-Bursac / Libro Tapa blanda
common.buy 48.19 €
Essential Guide to Calving Heather Smith Thomas / Libro Tapa blanda
common.buy 32.89 €
Sacrificing the WHO to the Highest Bidder Theodore H. MacDonald / Libro Tapa blanda
common.buy 74.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?