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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Hardware and Software: Verification and Testing Roderick Bloem
Codice Libristo: 15194770
Casa editrice Springer International Publishing AG, novembre 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Libro In brossura
common.buy 22.49 €
Els Nostres Disla Sanz / Libro In brossura
common.buy 15.39 €
Friedrich Schiller Peter-André Alt / Libro In brossura
common.buy 10.29 €
Mustangs Bousquet / Libro In brossura
common.buy 17.59 €
Algebre N. Bourbaki / Libro In brossura
common.buy 57.79 €
Pilates Anatomie Rael Isacowitz / Libro In brossura
common.buy 24.39 €
Un bateau pour l'enfer Gilbert Sinoué / Libro In brossura
common.buy 12.89 €
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Libro In brossura
common.buy 23.69 €
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Libro In brossura
common.buy 15.99 €
Passiflora Bettina Ulmer / Libro In brossura
common.buy 14.19 €
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Libro In brossura
common.buy 37.29 €
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 12.69 €
In preparazione
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Libro In brossura
common.buy 28.39 €
Lektury - liceum i technikum -epika Sylwia Oszczyk / Libro In brossura
common.buy 17.99 €
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Libro In brossura
common.buy 16.49 €
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Libro In brossura
common.buy 47.79 €
Echo Terry Moore / Libro In brossura
common.buy 16.89 €
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Libro In brossura
common.buy 14.19 €
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Libro In brossura
common.buy 27.59 €
Chronique de la régence et du r?gne de Louis 15 (1718-1763); ou, Journal de Barbier, avocat au Parlement de Paris. 1. éd. compl?te, conforme au manusc Edmond Jean Francois Barbier / Libro Rigido
common.buy 41.59 €

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing 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 Roderick Bloem, Eli Arbel
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2016
Numero di pagine 211
EAN 9783319490519
ISBN 3319490516
Codice Libristo 15194770
Casa editrice Springer International Publishing AG
Peso 3518
Dimensioni 155 x 235 x 14

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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

Functionalization of CVD Graphene via electro-grafting for gas sensor Ghufran ur Rehman / Libro In brossura
common.buy 46.59 €
Only the People Can Save the People Donald V. Kingsbury / Libro In brossura
common.buy 41.09 €
The Last Town on Earth Thomas Mullen / Libro In brossura
common.buy 13.89 €
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Libro In brossura
common.buy 89.29 €
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Libro Rigido
common.buy 29.59 €
Thinline Bible-OE-Personal Size Kjver Whitaker House / Libro Libro
common.buy 41.89 €
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Libro Rigido
common.buy 17.19 €
Redefining Capitalism in Global Economic Development Kui-Wai Li / Libro In brossura
common.buy 56.09 €
Greyhound Nation Edmund Russell / Libro In brossura
common.buy 36.39 €
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Libro In brossura
common.buy 15.39 €
Let's Pretend Chefs Kitchen Roger Priddy / Libro Rigido
common.buy 16.89 €
Tale of Two Cities Charles Dickens / Libro In brossura
common.buy 9.19 €
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Libro In brossura
common.buy 16.59 €
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Libro In brossura
common.buy 10.69 €
Staying Human Neil Astley / Libro In brossura
common.buy 14.69 €
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Libro In brossura
common.buy 13.89 €
Evelina's Garden (1899) Mary Eleanor Wilkins / Libro Rigido
common.buy 38.69 €
The Prophets Robert Jones Jr. / Libro In brossura
common.buy 19.39 €
Wild Guide Andalucia EDWINA PITCHER / Libro In brossura
common.buy 21.99 €
The Best American Poetry 2022 Matthew Zapruder / Libro In brossura
common.buy 16.59 €
First Steps in SDL Game Development Frahaan Hussain / Libro In brossura
common.buy 28.89 €
BTS ZAMBELLO FILIPPO / Libro Rigido
common.buy 14.99 €
Nuovi
Henry VI, Part II William Shakespeare / Libro In brossura
common.buy 9.19 €
Organ Theft Legends Veronique Campion-Vincent / Libro In brossura
common.buy 40.49 €

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