Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 05274507
Price: 51.63 EUR
Availability: InStock
Author: Alan Mycroft
ISBN: 9783540603603

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

Alan Mycroft

Language

English

Book Paperback

Libristo code: 05274507

Publishers Springer, Berlin, November 1994

This book constitutes the refereed proceedings of the Second International Symposium on Static Analy... Full description

Libristo code: 05274507

125 b

51.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Reichtum, Philanthropie Und Zivilgesellschaft Michael Hartmann

Paperback

47.18 €

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.