Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Static Analysis - Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Paperback, 1995 ed.) Loot Price: R1,787

Discovery Miles 17 870

Repayment Terms: R167 pm x 12*

Add to cart

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

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

Alan Mycroft

Series: Lecture Notes in Computer Science, 983

(sign in to rate)

Loot Price R1,787 Discovery Miles 17 870 | Repayment Terms: R167 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 983
Release date:	2001
First published:	1995
Editors:	Alan Mycroft
Dimensions:	279 x 216 x 22mm (L x W x T)
Format:	Paperback
Pages:	431
Edition:	1995 ed.
ISBN-13:	978-3-540-60360-3
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-60360-3
Barcode:	9783540603603