L’articolo è stato aggiunto alla lista dei desideri

Password

Ricordami

Hai dimenticato la password?

Prosegui come ospite

Accetto termini e condizioni

Torna indietro

Verifica email È stata appena inviata una mail di verifica all’indirizzo

Questo passaggio aggiuntivo dimostra che sei tu che stai provando a proseguire come ospite.

Nome

Cognome

Password

Min. 8 caratteri ( A-Z, a-z, 0-9 e caratteri speciali . , - / @ _ ! )

Ripeti password

Verifica email L’indirizzo nome.cognome@mail.com non è presente nei nostri database come profilo ospite. Per maggiori dettagli contattare il servizio clienti

Con la presente registrazione, dichiaro di avere almeno 14 anni e di aver letto ed accettato le Condizioni d’Uso del sito, le Condizioni Generali di Vendita e l’Informativa Privacy fornita ai sensi degli artt. 13 e 14 del Regolamento Europeo (UE) 679/2016.

Autorizzo il Titolare ad inviare direttamente comunicazioni commerciali su prodotti e servizi del Titolare, società del Gruppo Feltrinelli e partner commerciali, a mezzo di sistemi automatizzati via e-mail, sms o simili e a mezzo del servizio postale, così come descritto all’art. 3 lett. e) dell’informativa privacy.

Autorizzo il Titolare a migliorare ed accrescere la capacità di adeguare l’offerta complessiva del Titolare alle esigenze dell’Utente, mediante comunicazioni commerciali ed offerte promozionali personalizzate basate sulla profilazione, così come descritto all’art. 3 lett. f) dell’informativa privacy.

Autorizzo il Titolare a comunicare e cedere i dati a società del Gruppo Feltrinelli e/o a partner commerciali attivi nei settori di editoria, cinema, musica, intrattenimento, nonché ulteriori terze parti appartenenti alle categorie indicate nell’informativa, per l’invio di comunicazioni commerciali effettuate da parte di questi soggetti, così come descritto all’art. 3 lett. g) dell’informativa privacy.

Benvenuto in IBS,

Riceverai una mail di conferma all’indirizzo

Raccontaci qualcosa in più su di te

oppure

Inizia il tuo shopping

Verifica email È stata appena inviata una mail di verifica all’indirizzo

Questo passaggio aggiuntivo dimostra che sei tu che stai provando a proseguire come ospite.

;

Introduction to Static Analysis: An Abstract Interpretation Perspective - Xavier Rival,Kwangkeun Yi - cover

LIBRO INGLESE

Introduction to Static Analysis: An Abstract Interpretation Perspective

Name: Introduction to Static Analysis: An Abstract Interpretation Perspective
Price: 73.62 EUR
Availability: InStock
Author: Xavier Rival
ISBN: 0262043416

di Xavier Rival (Autore)

Kwangkeun Yi (Autore)

MIT Press Ltd, 2020

Recensioni: 0/5

(0)

Grazie per la tua recensione!

Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti Effe

73,62 €

-5% 77,50 €

+740 punti Effe

Venditore: IBS

Articolo acquistabile con Bonus Cultura 18app e Carta del Docente

Articolo acquistabile con Carta Cultura Giovani e Carta del Merito

Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €

Dati e Statistiche

Salvato in 1 lista dei desideri

Introduction to Static Analysis: An Abstract Interpretation Perspective

Disponibile in 5 giorni lavorativi

73,62 €

-5% 77,50 €

73,62 € 77,50 € -5%

Disp. in 5 gg lavorativi

Introduction to Static Analysis: An Abstract Interpretation Perspective

di Xavier Rival, Kwangkeun Yi

Libri in Inglese

Altri venditori

Prezzo e spese di spedizione

Venduto e spedito da IBS

73,62 € Spedizione gratuita

disponibile in 5 giorni lavorativi

Nuovo

Altri venditori

Prezzo e spese di spedizione

Venduto e spedito da IBS

73,62 € Spedizione gratuita

disponibile in 5 giorni lavorativi

Nuovo

Altri venditori

Prezzo e spese di spedizione

Descrizione

A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users. Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics. The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.

Leggi di più Leggi di meno

Dettagli

Autore:

Xavier Rival, Kwangkeun Yi

Editore:

MIT Press Ltd

Collana:

The MIT Press

Anno:

2020

Rilegatura:

Hardback

Pagine:

320 p.

Testo in English

Dimensioni:

229 x 178 mm

EAN:

9780262043410

L’articolo è stato aggiunto alla lista dei desideri

Introduction to Static Analysis: An Abstract Interpretation Perspective

Descrizione

Dettagli

Questo prodotto lo trovi anche