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

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Hardware and Software: Verification and Testing Karen Yorav
Codice Libristo: 01569878
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2008
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla / Libro In brossura
common.buy 26.19 €
Espacio público y espacio privado / Libro In brossura
common.buy 22.29 €
Trois Livres Des Offices de France. Livre 3 Girard-E / Libro In brossura
common.buy 61.89 €
Ostwind 06 - Der große Orkan Lea Schmidbauer / Libro Rigido
common.buy 13.69 €
amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic / Libro In brossura
common.buy 26.19 €
Пятнадцатилетний капитан Жюль Верн / Libro In brossura
common.buy 9.29 €
Žiješ jenom dvakrát Dominik Dán / Libro Rigido
common.buy 12.99 €
Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer / Libro Foglio
common.buy 9.19 €
Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf / Libro Rigido
common.buy 23.59 €
Au nom de tous nos dieux Deloges / Libro In brossura
common.buy 25.39 €

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

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 Karen Yorav
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 267
EAN 9783540779643
ISBN 3540779647
Codice Libristo 01569878
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 444
Dimensioni 155 x 235 x 240

Categorie

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 > Architettura e progettazione logica dei computer
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

In preparazione
Film Genre Book John Sanders / Libro Rigido
common.buy 124.09 €
Babylonian Expedition of the University of Pennsylvania The Babylonian Expedition / Libro Rigido
common.buy 46.49 €
Functional Equations and Inequalities with Applications Pl Kannappan / Libro In brossura
common.buy 321.39 €
GRAMMAR-SCHOOL ARITHMETIC INCLUDING EASY JOHN HENRY WALSH / Libro Rigido
common.buy 39.69 €
Dungeons & Dragons: Honor Among Thieves: The Druid's Call E.K Johnston / Libro In brossura
common.buy 10.29 €
Bruce Lee Enter the Dragon Scrapbook Sequences Vol 6 Rick Baker / Libro In brossura
common.buy 25.99 €
Smell and the Past William Tullett / Libro Rigido
common.buy 131.89 €
Bowling Narragansett Machine Company (Provide / Libro In brossura
common.buy 15.09 €
Aimless Life Andrew Offenburger / Libro In brossura
common.buy 16.49 €
Internet of Things Scott J. Shackelford / Libro In brossura
common.buy 14.29 €
Northanger Abbey - Large Print Edition Jane Austen / Libro In brossura
common.buy 17.19 €
Infonomics Douglas B Laney / Libro Rigido
common.buy 37.49 €
Little Course in Sewing Various / Libro Rigido
common.buy 14.69 €
Modern Romance Short Stories Sherrie Lynn / Libro In brossura
common.buy 9.69 €
Genus Utricularia P. G. Taylor / Libro In brossura
common.buy 74.09 €
Abdominoplasty, An Issue of Clinics in Plastic Surgery Al S Aly / Libro Rigido
common.buy 94.69 €
Genetic Algorithms and Application in Examination Scheduling Dang Xuan Tho / Libro In brossura
common.buy 40.09 €
Case Studies In Organizational Behavior And Theory For Health Care Borkowski / Libro In brossura
common.buy 101.89 €

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?