Книга Static Analysis Alan Mycroft

Static Analysis

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

Автор: Alan Mycroft
Език: Английски език
Корици: С меки корици
Издател: Springer, Berlin
Наличност: Външен склад
Изпращаме след 5-8 дни
52.83 103.32 лв
This book constitutes the refereed proceedings of the Second International Symposium on Static Analy...

Информация за книгата

Автор
Език
Английски език
Корици
Книга - С меки корици
Издадена
1995
страници
431
EAN
9783540603603
ISBN
3540603603
Enbook ID
05274507
Издател
Теглоt
579
Размери
216 x 279 x 22

Пълно описание

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.

Може също да ви хареса

157.99 309.01 лв

Elijah and Sabrina

PHILIP PATRICK
18.18 35.55 лв
43.64 85.35 лв
182.65 357.23 лв
14.41 28.18 лв
31.68 61.97 лв
52.83 103.32 лв
136.75 267.46 лв

Port Privatisation

James Reveley
141.12 276.00 лв

Prudence of Love

Eric J. Silverman
66.29 129.65 лв
14.36 28.08 лв
73.12 143.01 лв

Клиенти, които купиха тази книга, купиха също

48.41 94.68 лв