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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

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 115 b
46.99 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Libro In brossura
common.buy 3.59 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Libro In brossura
common.buy 16.89 €
Heilige Maria, Mutter Gottes / Libro Foglio
common.buy 3.99 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Libro In brossura
common.buy 48.39 €
Schody do nebe Lorna Byrneová / Libro Rigido
common.buy 9.59 €
Philologus / Libro Rigido
common.buy 111.59 €
Gra Szacho-warcaby 31 / Libro binding.
common.buy 27.89 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / Libro elettronico Adobe ePub DRM
common.buy 6.79 €
Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Libro Rigido
common.buy 14.29 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Libro In brossura
common.buy 24.19 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Libro In brossura
common.buy 5.99 €
Tumeurs malignes rares Jean-Pierre Droz / Libro Rigido
common.buy 140.89 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Libro In brossura
common.buy 8.89 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Libro In brossura
common.buy 14.29 €
Praxeologie der Moderne Gunnar Skirbekk / Libro In brossura
common.buy 37.79 €
Politische Justiz 1918-1933 Heinrich Hannover / Libro In brossura
common.buy 18.39 €
Odisea / The Odyssey HOMERO / Libro In brossura
common.buy 8.49 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Libro binding.
common.buy 22.89 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Libro In brossura
common.buy 18.99 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Libro Libro
common.buy 25.19 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Libro In brossura
common.buy 11.79 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Libro In brossura
common.buy 9.09 €
Dalmatien - 1.000 Teile (Puzzle) / Gioco/giocattolo Gioco
common.buy 25.89 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Libro In brossura
common.buy 6.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.

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 97.89 €
I migliori
Children of Jocasta Natalie Haynes / Libro In brossura
common.buy 9.19 €
Understanding Marketing & Technology Without Losing Your Mind: A Practical Guide for Managers and Leaders Dave Tedlock / Libro In brossura
common.buy 10.09 €
Rethinking Genesis 1-11 Gordon J. Wenham / Libro Rigido
common.buy 20.99 €
I migliori
Oxford Primary Illustrated Maths Dictionary / Libro In brossura
common.buy 9.19 €
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Libro Rigido
common.buy 19.99 €
Smart Education and e-Learning 2019 Vladimir L. Uskov / Libro Rigido
common.buy 203.39 €
Rocket Science Alan McFadzean / Libro In brossura
common.buy 35.89 €
Draw and Color Your Dragon JOHN SMITH / Libro In brossura
common.buy 17.89 €
In the Heights LIN-MANUEL MIRANDA / Libro Rigido
common.buy 24.59 €
Color Blue of the Hermit's Robe Patsy Stanley / Libro Rigido
common.buy 13.19 €
Hypertension and Stroke Venkatesh Aiyagari / Libro In brossura
common.buy 198.89 €
I migliori
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Libro Rigido
common.buy 31.29 €
I migliori
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Libro In brossura
common.buy 14.29 €
Donbas Conflict in Ukraine Daria Platonova / Libro Rigido
common.buy 179.19 €
Life's Edge Carl Zimmer / Libro In brossura
common.buy 11.49 €
This Is Me (from the Greatest Showman) Justin Paul / Libro In brossura
common.buy 4.69 €
Of Ancients Unbound T.C. Edge / Libro In brossura
common.buy 21.19 €
World Literature Klaudia Hiu Yen Lee / Libro Rigido
common.buy 179.19 €
Dark Waters Jason Wright / Libro elettronico Adobe ePub DRM
common.buy 2.79 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Libro Rigido
common.buy 203.39 €
Dionysius of Halicarnasssus W. Rhys Roberts / Libro In brossura
common.buy 40.99 €
Beginning Human Rights Law Howard Davis / Libro In brossura
common.buy 58.59 €
K-Theory and C*-Algebras: A Friendly Approach Niels Erik Wegge-Olsen / Libro Rigido
common.buy 245.99 €

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?