[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

Static Analysis

Lingua IngleseInglese
Libro In brossura
Libro Static Analysis Markus Müller-Olm
Codice Libristo: 05166407
Casa editrice Springer International Publishing AG, agosto 2014
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Polynomial Root-finding And Polynomiography Bahman Kalantari / Rigido
common.buy 233.24 €
Revolution of the Heart Haiyan Lee / Rigido
common.buy 174.79 €
Surface Ocean Lower Atmosphere Processes Corinne Le Quere / Rigido
common.buy 191.17 €
Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein / In brossura
common.buy 79.09 €
Interpreting Weight Jeffery Sobal / Rigido
common.buy 140.22 €
The Shadow of Black Wings James Calbraith / In brossura
common.buy 16.58 €
Peace After Civil War Adrian Gauci / Rigido
common.buy 69.03 €
McGraw-Hill's 500 College Physics Questions Alvin Halpern / In brossura
common.buy 24.29 €
Theological Commentary to the Midrash Jacob Neusner / Rigido
common.buy 141.18 €
Studies in Seventeenth-Century European Philosophy M. A. Stewart / Rigido
common.buy 240.41 €
Parque Nacional Corcovado Antonio Vizcaino / Rigido
common.buy 91.94 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Informazioni sul libro

Titolo completo Static Analysis
Autore Markus Müller-Olm, Helmut Seidl
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 337
EAN 9783319109350
ISBN 3319109359
Codice Libristo 05166407
Casa editrice Springer International Publishing AG
Peso 5387
Dimensioni 155 x 235 x 20

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