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.

Static Analysis

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Static Analysis Radhia Cousot
Codice Libristo: 05274620
Casa editrice Springer, Berlin, novembre 1995
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Une politique europeenne Etienne Grosclaude / Libro Rigido
common.buy 16.89 €
Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899 Sans Auteur / Libro In brossura
common.buy 13.19 €
Dragon Ball Z. Saiyanos 03 Daruma Serveis Lingüístics / Libro In brossura
common.buy 14.79 €
Keine Angst vor Bakterien! Max O. Bruker / Libro In brossura
common.buy 14.99 €

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

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 Static Analysis
Autore Radhia Cousot, David A. Schmidt
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 398
EAN 9783540617396
ISBN 3540617396
Codice Libristo 05274620
Casa editrice Springer, Berlin
Peso 524
Dimensioni 156 x 234 x 21

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 > Teoria matematica della computazione
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

TAX HAVENS Kacou Antoine N'zi / Libro In brossura
common.buy 64.19 €
Multicultural Behavior and Global Business Environments Kamal Dean Parhizgar / Libro Rigido
common.buy 71.29 €
What's the Weather? Shelley Rotner / Libro Rigido
common.buy 15.29 €
Butchered Dreams Hadena James / Libro In brossura
common.buy 15.39 €
Fields of Praise Marilyn Nelson / Libro In brossura
common.buy 33.69 €
Observations on the Disturbances in the Madras Army in 1809 Malcolm / Libro Rigido
common.buy 34.79 €
Thoughts and Commentary Dale L Netherton / Libro Rigido
common.buy 33.69 €
Great Sea David Abulafia / Libro In brossura
common.buy 19.59 €
productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system Manish Kumar Singh / Libro In brossura
common.buy 44.79 €
Language, Print and Electoral Politics, 1790-1832 Hannah Barker / Libro Rigido
common.buy 82.49 €
Children's Literature Review Tom Burns / Libro Rigido
common.buy 603.09 €
Remaking governance Janet Newman / Libro In brossura
common.buy 44.89 €
Time-Dependent Fracture A.S. Krausz / Libro In brossura
common.buy 53.79 €
Generalist Practice with Organizations and Communities, International Edition Grafton H Hull / Libro In brossura
common.buy 117.09 €

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