[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Automated Technology for Verification and Analysis

Lingua IngleseInglese
Libro In brossura
Libro Automated Technology for Verification and Analysis Ahmed Bouajjani
Codice Libristo: 01656599
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Descrizione completa
? points 174 b
73.74 €
Magazzino esterno Inviamo tra 13-18 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI
Asterix: Asterix Omnibus 4 René Goscinny / In brossura
common.buy 19.69 €
I MIGLIORI
Anatomia zwierzat do kolorowania. Aparat ruchu. Podrecznik dla studentow weterynarii Halina Purzyc / In brossura
common.buy 25.89 €
IN PREPARAZIONE
Pierre Gagnaire: Reinventing French Cuisine Jean-Francois Abert / Rigido
common.buy 33.81 €
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / In brossura
common.buy 68.50 €
Progression of the American Presidency Jim Twombly / In brossura
common.buy 72.67 €
Our Cats And All About Them Harrison Weir / Rigido
common.buy 48.37 €
Alone at Sea John N. Morris / In brossura
common.buy 28.78 €
Mysticism in Twentieth-Century Hebrew Literature Hamutal Bar-Yosef / Rigido
common.buy 146.96 €
My Philosophy Oliver Lodge / In brossura
common.buy 61.97 €
Learning Medicine Peter Richards / In brossura
common.buy 85.73 €
Altbaukonstruktionen - Materialien und U-Werte im Gebäudebestand. Swen Klauß / In brossura
common.buy 67.11 €
PREMO: A Framework for Multimedia Middleware David Duke / In brossura
common.buy 72.67 €
Education, Indigenous Knowledges, and Development in the Global South Anders Breidlid / Rigido
common.buy 315.66 €

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Informazioni sul libro

Titolo completo Automated Technology for Verification and Analysis
Autore Ahmed Bouajjani, Wei-Ngan Chin
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 404
EAN 9783642156427
ISBN 3642156428
Codice Libristo 01656599
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 624
Dimensioni 327 x 239 x 28

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

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