«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

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Hardware and Software: Verification and Testing Armin Biere
Código Libristo: 01664050
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... 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

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Libro Tapa dura
common.buy 17.39 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Libro Tapa blanda
common.buy 4.39 €
Heilige Maria, Mutter Gottes / Libro Hoja
common.buy 4.49 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Libro Tapa blanda
common.buy 54.09 €
Schody do nebe Lorna Byrneová / Libro Tapa dura
common.buy 10.49 €
Philologus / Libro Tapa dura
common.buy 117.79 €
Gra Szacho-warcaby 31 / Libro binding.
common.buy 37.99 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / Libro electrónico Adobe ePub DRM
common.buy 8.39 €
Praxeologie der Moderne Gunnar Skirbekk / Libro Tapa blanda
common.buy 48.29 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Libro Tapa blanda
common.buy 29.99 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Libro Tapa blanda
common.buy 7.39 €
Tumeurs malignes rares Jean-Pierre Droz / Libro Tapa dura
common.buy 176.99 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Libro Tapa blanda
common.buy 9.89 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Libro Tapa blanda
common.buy 15.89 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Libro Tapa blanda
common.buy 8.09 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Libro Tapa blanda
common.buy 17.89 €
Odisea / The Odyssey HOMERO / Libro Tapa blanda
common.buy 12.95 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Libro binding.
common.buy 28.39 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Libro Tapa blanda
common.buy 23.69 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Libro Libro
common.buy 31.19 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Libro Tapa blanda
common.buy 13.19 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Libro Tapa blanda
common.buy 11.39 €
Dalmatien - 1.000 Teile (Puzzle) / Juego/Juguete Juego
common.buy 33.59 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Libro Tapa blanda
common.buy 16.19 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid 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 Hardware and Software: Verification and Testing
Autor Armin Biere, Amir Nahir, Tanja Vos
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 281
EAN 9783642396106
ISBN 3642396100
Código Libristo 01664050
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 456
Dimensiones 155 x 235 x 19

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

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Libro Tapa dura
common.buy 118.29 €
Popular
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Libro Tapa dura
common.buy 34.89 €
Rethinking Genesis 1-11 Gordon J. Wenham / Libro Tapa dura
common.buy 27.39 €
Oxford Primary Illustrated Maths Dictionary / Libro Tapa blanda
common.buy 11.69 €
Popular
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Libro Tapa dura
common.buy 21.99 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Libro Tapa dura
common.buy 225.39 €
Draw and Color Your Dragon JOHN SMITH / Libro Tapa blanda
common.buy 19.59 €
In the Heights LIN-MANUEL MIRANDA / Libro Tapa dura
common.buy 32.29 €
Children of Jocasta Natalie Haynes / Libro Tapa blanda
common.buy 10.99 €
Rocket Science Alan McFadzean / Libro Tapa blanda
common.buy 40.19 €
Popular
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Libro Tapa blanda
common.buy 15.89 €
Donbas Conflict in Ukraine Daria Platonova / Libro Tapa dura
common.buy 215.89 €
Life's Edge Carl Zimmer / Libro Tapa blanda
common.buy 14.99 €
This Is Me (from the Greatest Showman) Justin Paul / Libro Tapa blanda
common.buy 5.79 €
Of Ancients Unbound T.C. Edge / Libro Tapa blanda
common.buy 25.99 €
World Literature Klaudia Hiu Yen Lee / Libro Tapa dura
common.buy 215.89 €
Dark Waters Jason Wright / Libro electrónico Adobe ePub DRM
common.buy 3.49 €
Hypertension and Stroke Venkatesh Aiyagari / Libro Tapa blanda
common.buy 220.99 €
Dionysius of Halicarnasssus W. Rhys Roberts / Libro Tapa blanda
common.buy 49.79 €
Beginning Human Rights Law Howard Davis / Libro Tapa blanda
common.buy 66.79 €
Popular
Basic Economics Thomas Sowell / Libro Tapa dura
common.buy 35.29 €
Popular
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Libro Tapa dura
common.buy 94.79 €
Cognitive Linguistics EVANS VYVYAN / Libro Tapa dura
common.buy 169.19 €
Popular
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Libro Tapa blanda
common.buy 21.79 €

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?