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

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Static Analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Paperback, 1996 ed.) Loot Price: R1,764
Discovery Miles 17 640
Repayment Terms: R165 pm x 12*
Add to cart
Static Analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings...

Static Analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Paperback, 1996 ed.)

Radhia Cousot, David A. Schmidt

Series: Lecture Notes in Computer Science, 1145

 (sign in to rate)
Loot Price R1,764 Discovery Miles 17 640 | Repayment Terms: R165 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.
The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1145
Release date: September 1996
First published: 1996
Editors: Radhia Cousot • David A. Schmidt
Dimensions: 235 x 155 x 21mm (L x W x T)
Format: Paperback
Pages: 398
Edition: 1996 ed.
ISBN-13: 978-3-540-61739-6
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > General
LSN: 3-540-61739-6
Barcode: 9783540617396

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,632 Discovery Miles 26 320
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R863 Discovery Miles 8 630
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,728 R1,596 Discovery Miles 15 960
Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse
Program Construction - Calculating…
Roland Backhouse Paperback R2,800 Discovery Miles 28 000
Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,304 R1,212 Discovery Miles 12 120
Sams Teach Yourself: Beginning Programming In 24 Hours (Paperback, 4th Edition): Greg Perry, Dean Miller
Sams Teach Yourself: Beginning…
Greg Perry, Dean Miller Paperback R619 Discovery Miles 6 190
C++ How to Program: Horizon Edition (Paperback, 8th edition): Harvey Deitel, Paul Deitel
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,954 Discovery Miles 19 540
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Data Abstraction and Problem Solving with Java: Walls and Mirrors - International Edition (Paperback, 3rd edition): Janet...
Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,373 Discovery Miles 23 730
The Data Quality Blueprint - A Practical and Holistic Approach (Hardcover): John Parkinson
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,736 Discovery Miles 17 360
Using UML - Software Engineering with Objects and Components (Paperback, 2nd edition): Perdita Stevens
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,384 Discovery Miles 23 840
Object-Oriented Game Development (Paperback): Julian Gold
Object-Oriented Game Development
Julian Gold Paperback R2,292 R1,812 Discovery Miles 18 120

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners