LIBRISTO
LIBROAMANTO
obbligatorio
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

Spedizione gratuita per ordini superiori a 69,99 euro.

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Static Analysis Roberto Giacobazzi
Codice Libristo: 01559682
Casa editrice Springer, Berlin, novembre 2003
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysi... Descrizione completa
? points 132 b
53.79
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso


I clienti hanno acquistato anche


L'Arc en Ciel Numérologique 2020 - 9 Lefebvre / Libro In brossura
common.buy 30.79
Brunhild Emanuel Geibel / Libro Rigido
common.buy 15.89
Die Realen Grundlagen Und Die Stoffe Des Rechts Burkard Wilhelm Leist / Libro In brossura
common.buy 27.69
Interpretationswelten Günter Abel / Libro In brossura
common.buy 27.89
Jerusalem Selma Lagerlöf / Libro In brossura
common.buy 27.99
Das Getreidesieb Vera Redwitz / Libro In brossura
common.buy 9.49
Der Urlaubshund Carina Babinsky / Libro In brossura
common.buy 12.29
Zaungast ermittelt in der Pattstrasse Werner Fletcher / Libro In brossura
common.buy 11.19
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / Libro In brossura
common.buy 14.19

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

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

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?