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

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

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 129 b
52.79 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Endemische Kretinismus F.de Quervain / Libro In brossura
common.buy 49.59 €
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Audio CD audio
common.buy 15.99 €
Histoire de l'agriculture vue par les artistes Christophe / Libro In brossura
common.buy 24.79 €
De l’exil à la présence de Dieu Goligher / Libro In brossura
common.buy 9.99 €
Peppa és a legjobb szülinapi zsúr / Libro Foglio
common.buy 2.19 €
Bello, elegante e con la fede al dito Andrea Vitali / Libro In brossura
common.buy 18.79 €
Vzpomínky má každý Alžběta Ottová / Libro In brossura
common.buy 5.89 €
Кайдзен Masaaki Imai / Libro In brossura
common.buy 17.29 €
Erinnerungen eines Reserveoffiziers Eberhard von Breitenbuch / Libro In brossura
common.buy 21.59 €
Anleitung zum Bestimmen der Familien der Phanerogamen Franz Thonner / Libro In brossura
common.buy 33.19 €
Les Singularites Langagieres de la Psychose Pascal Camu / Libro In brossura
common.buy 81.09 €
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Libro In brossura
common.buy 29.69 €
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Libro In brossura
common.buy 33.49 €
As sete mortes Carlos Vila Sexto / Libro In brossura
common.buy 16.99 €
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Libro In brossura
common.buy 33.49 €
Chyťte Žida! Tuvia Tenenbom / Libro In brossura
common.buy 16.09 €
List Koloským Mireia Ryšková / Libro In brossura
common.buy 6.99 €
Obálky C6 obyčejné (bal.25ks) / Articoli di cancelleria Articoli di cancelleria
common.buy 1.29 €
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Libro Rigido
common.buy 8.99 €

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.

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 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

Potrebbe interessarti anche

Alone at Sea John N. Morris / Libro In brossura
common.buy 19.59 €
PREMO: A Framework for Multimedia Middleware David Duke / Libro In brossura
common.buy 48.29 €
Learning Medicine Peter Richards / Libro In brossura
common.buy 57.89 €
1968 Robert P Fitton / Libro In brossura
common.buy 16.79 €
Memoir of a Nazarene Edward J Murray / Libro Rigido
common.buy 29.49 €
Irish Scenes, Eighteen Years Ago IRISH SCENES / Libro Rigido
common.buy 26.69 €
Anecdotes Of Literature And Scarce Books V6 William Beloe / Libro In brossura
common.buy 34.69 €
Powering Future Micro Air Vehicles Daniel J Markham / Libro In brossura
common.buy 12.99 €
The Magical Journey of BTS AB Meneses / Libro In brossura
common.buy 19.79 €
Scent of Flowers at Night Leila Slimani / Libro In brossura
common.buy 9.99 €
Ss93 Regions Near and Far Pupil Edition Grade 4 / Libro Rigido
common.buy 117.29 €
Secret War Against Hanoi Richard H. Shultz / Libro In brossura
common.buy 14.99 €
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Libro Rigido
common.buy 47.19 €
I See You... Michaela Pirie / Libro In brossura
common.buy 14.29 €
Barack Obama in his Own Words Lisa Rogak / Libro In brossura
common.buy 13.99 €
Boys' Book MacDonald Guy MacDonald / Libro elettronico Adobe ePub DRM
common.buy 4.49 €
Producing Success: A Career Guide for Conference Producers David M Hoffman / Libro In brossura
common.buy 12.39 €
Adult Coloring Book Relax: Intricate Patterns And Designs To Color, Calming Coloring Activity Book For Stress Relief, Christmas Gift, Birthday Gi Harper Lee Browning / Libro In brossura
common.buy 7.99 €
XXI Century Technosphere Quality Management Gladun Viktor Gladun / Libro In brossura
common.buy 29.59 €
Essential Biochemistry: University of Texas at Austin, CH 369 Fundamentals of Biochemistry [With CDROM] Kathleen Cornely / Libro In brossura
common.buy 115.29 €
Money And Legal Tender In The United States (1877) Henry Richard Linderman / Libro In brossura
common.buy 21.89 €
Charcoal Drawing Without A Master (1880) Karl Robert / Libro In brossura
common.buy 18.69 €
The Forest and the Field Henry Astbury Leveson / Libro In brossura
common.buy 27.39 €

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?