Skip to main content

CURRENTLY SOLD OUT

Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings by Alan Mycroft (Paperback, 1995)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540603603
eBay Product ID (ePID)
95308138

Product Key Features

Author
Alan Mycroft
Publication Name
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1995
Type
Textbook
Number of Pages
431 Pages

Dimensions

Item Height
279mm
Item Width
216mm
Volume
983
Item Weight
1370g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Alan Mycroft
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Taking Charge of Adult ADHD by Christine M. Benton, Russell A. Barkley (Paperback, 2021)
No ratings or reviews yet.
AU $42.53 New
AU $25.84 Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Tim Heard Keeping Stingless Bee Hives For Pets, Pollination and Sugarbag Honey
AU $31.98
Trending at AU $35.72
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.74
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.65
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.72
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $77.06
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.25
Trending at AU $45.65

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like