Jardan

Static Analysis : Third International Symposium, Sas '96, Aachen, Germany, Se...

Description: Static Analysis : Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 : Proceedings, Paperback by Cousot, Radhia (EDT); Schmidt, David A. (EDT); International Static Analysis Symposium 1996 (Aachen, Germany); Schmidt, David A., ISBN 3540617396, ISBN-13 9783540617396, Like New Used, Free shipping in the US 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.

Price: 68.69 USD

Location: Jessup, Maryland

End Time: 2024-12-29T15:33:06.000Z

Shipping Cost: 0 USD

Product Images

Static Analysis : Third International Symposium, Sas

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Static Analysis : Third International Symposium, Sas '96, Aachen,

Author: Cousot, Radhia (EDT); Schmidt, David A. (EDT); International Stat

Language: English

Recommended

Secure Programming with Static Analysis
Secure Programming with Static Analysis

$6.97

View Details
Statics Analysis and Design of Systems in Equilibrium 2005 HC & Access Code
Statics Analysis and Design of Systems in Equilibrium 2005 HC & Access Code

$39.99

View Details
STATIC ANALYSIS OF SOFTWARE: THE ABSTRACT INTERPRETATION By Jean-louis Boulanger
STATIC ANALYSIS OF SOFTWARE: THE ABSTRACT INTERPRETATION By Jean-louis Boulanger

$193.49

View Details
Secure Programming with Static Analysis by Brian Chess: Used
Secure Programming with Static Analysis by Brian Chess: Used

$10.24

View Details
COMPARATIVE STATICS ANALYSIS IN ECONOMICS 9789810243661 by CURRIER, KEVIN M
COMPARATIVE STATICS ANALYSIS IN ECONOMICS 9789810243661 by CURRIER, KEVIN M

$23.71

View Details
Introduction To Linear Regression Analysis Third Edition 2001 Wiley Series
Introduction To Linear Regression Analysis Third Edition 2001 Wiley Series

$8.95

View Details
NIST Special Publication 500-279 Static Analysis Tool Exposition (SATE) 2008 by
NIST Special Publication 500-279 Static Analysis Tool Exposition (SATE) 2008 by

$22.97

View Details
Static and Dynamic Analysis of Structures: With an Emphasis on Mechanics and...
Static and Dynamic Analysis of Structures: With an Emphasis on Mechanics and...

$90.28

View Details
Static Analysis - 9783662482872
Static Analysis - 9783662482872

$48.38

View Details
Static and Dynamic Analysis of Structures: A Physical Approach with Empha - GOOD
Static and Dynamic Analysis of Structures: A Physical Approach with Empha - GOOD

$212.29

View Details