Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Hardware and Software: Verification and Testing

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

Lingua IngleseInglese
Libro In brossura
Libro Hardware and Software: Verification and Testing Armin Biere
Codice Libristo: 01664050
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Descrizione completa
? points 121 b
49.49 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Libro Rigido
common.buy 17.09 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Libro In brossura
common.buy 4.29 €
Heilige Maria, Mutter Gottes / Libro Foglio
common.buy 4.19 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Libro In brossura
common.buy 51.19 €
Schody do nebe Lorna Byrneová / Libro Rigido
common.buy 10.29 €
Philologus / Libro Rigido
common.buy 111.59 €
Gra Szacho-warcaby 31 / Libro binding.
common.buy 37.29 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / Libro elettronico Adobe ePub DRM
common.buy 8.29 €
Praxeologie der Moderne Gunnar Skirbekk / Libro In brossura
common.buy 47.29 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Libro In brossura
common.buy 30.79 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Libro In brossura
common.buy 7.19 €
Tumeurs malignes rares Jean-Pierre Droz / Libro Rigido
common.buy 173.79 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Libro In brossura
common.buy 9.39 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Libro In brossura
common.buy 15.09 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Libro In brossura
common.buy 8.29 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Libro In brossura
common.buy 16.89 €
Odisea / The Odyssey HOMERO / Libro In brossura
common.buy 10.99 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Libro binding.
common.buy 29.19 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Libro In brossura
common.buy 24.29 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Libro Libro
common.buy 31.99 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Libro In brossura
common.buy 12.99 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Libro In brossura
common.buy 11.69 €
Dalmatien - 1.000 Teile (Puzzle) / Gioco/giocattolo Gioco
common.buy 32.89 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Libro In brossura
common.buy 16.69 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Hardware and Software: Verification and Testing
Autore Armin Biere, Amir Nahir, Tanja Vos
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2013
Numero di pagine 281
EAN 9783642396106
ISBN 3642396100
Codice Libristo 01664050
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 456
Dimensioni 155 x 235 x 19

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Libro Rigido
common.buy 113.19 €
I migliori
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Libro Rigido
common.buy 32.79 €
Rethinking Genesis 1-11 Gordon J. Wenham / Libro Rigido
common.buy 27.39 €
Oxford Primary Illustrated Maths Dictionary / Libro In brossura
common.buy 11.39 €
I migliori
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Libro Rigido
common.buy 21.99 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Libro Rigido
common.buy 214.29 €
Draw and Color Your Dragon JOHN SMITH / Libro In brossura
common.buy 18.79 €
In the Heights LIN-MANUEL MIRANDA / Libro Rigido
common.buy 30.39 €
Children of Jocasta Natalie Haynes / Libro In brossura
common.buy 10.29 €
Rocket Science Alan McFadzean / Libro In brossura
common.buy 37.99 €
I migliori
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Libro In brossura
common.buy 14.99 €
Donbas Conflict in Ukraine Daria Platonova / Libro Rigido
common.buy 215.89 €
Life's Edge Carl Zimmer / Libro In brossura
common.buy 14.99 €
This Is Me (from the Greatest Showman) Justin Paul / Libro In brossura
common.buy 5.49 €
Of Ancients Unbound T.C. Edge / Libro In brossura
common.buy 25.99 €
World Literature Klaudia Hiu Yen Lee / Libro Rigido
common.buy 215.89 €
Dark Waters Jason Wright / Libro elettronico Adobe ePub DRM
common.buy 3.39 €
Hypertension and Stroke Venkatesh Aiyagari / Libro In brossura
common.buy 209.99 €
Dionysius of Halicarnasssus W. Rhys Roberts / Libro In brossura
common.buy 49.79 €
Beginning Human Rights Law Howard Davis / Libro In brossura
common.buy 65.49 €
I migliori
Basic Economics Thomas Sowell / Libro Rigido
common.buy 33.09 €
I migliori
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Libro Rigido
common.buy 88.99 €
Cognitive Linguistics EVANS VYVYAN / Libro Rigido
common.buy 169.19 €
I migliori
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Libro In brossura
common.buy 21.19 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?