Static Analysis di Mycroft edito da Springer Berlin Heidelberg
Alta reperibilità

Static Analysis

Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings

EAN:

9783540603603

ISBN:

3540603603

Pagine:
440
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Static Analysis

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages. 22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.

Spedizione gratuita
€ 76.23€ 80.24
Risparmi:€ 4.01(5%)
o 3 rate da € 25.41 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Static Analysis
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti