Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540603603
Price: 52.83 EUR
Availability: InStock

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

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

Автор

Alan Mycroft

Език

Английски език

Корици

Книга - С меки корици

Издадена

1995

страници

431

EAN

9783540603603

ISBN

3540603603

Enbook ID

05274507

Издател

Springer, Berlin

Тегло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.

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

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

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Static Analysis

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

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

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

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

Wireless and Mobile Networking

Elijah and Sabrina

Sociolinguistics and Mobile Communication

Bioethics and Neglected Diseases

Murderous Matrimony

Yesterday on the Chesapeake Bay

Metternich's Projects for Reform in Austria

Understanding Ferdinand Tönnies' Community and Society

New Essays on the Normativity of Law

Port Privatisation

String Quantum Gravity and Physics at the Planck Energy Scale

Prudence of Love

Pelican Guide to the Shenandoah, The

Socio - Economic Conditions and the Problems of the Weavers

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

Reichtum, Philanthropie Und Zivilgesellschaft