Kniha Static Analysis Alan Mycroft

Static Analysis

2nd International Symposium, SAS '98, Glasgow, UK, September 25-27, 1995. Proceedings

Autor: Alan Mycroft
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.13
This book constitutes the refereed proceedings of the Second International Symposium on Static Analy...

Informácie o knihe

Autor
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1995
Stránok
431
EAN
9783540603603
ISBN
3540603603
Enbook ID
05274507
Vydavateľ
Hmotnosť
579
Rozmery
216 x 279 x 22

Kompletný popis

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.

Mohlo by vás zaujímať

149.73

Elijah and Sabrina

PHILIP PATRICK
17.06
172.88
13.63
27.86
130.10

Port Privatisation

James Reveley
134.52

Prudence of Love

Eric J. Silverman
63.57

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež