The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Norway

Region is based on IP address

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

Paperback • 2003 • Norwegian Bokmål

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

By Christine Nöstlinger

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

<p>The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.</p><p>The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedur...Show more

Book details

ISBN

9783540403258

Publisher

Berlin : Springer

Published year

2003

Language

Norwegian Bokmål

Original title

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Estrategias para el análisis sintáctico

Estrategias para el análisis sintáctico

Javier de Santiago Guervós

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Luca Bernardinello

Matrix analysis of structures

Matrix analysis of structures

Aslam Kassimali

Software Languages

Software Languages

Ralf Lammel

Principles of Information Systems Security

Principles of Information Systems Security

Gurpreet Dhillon

Concrete Technology

Concrete Technology

Kristin Jacobsen

Statics and mechanics of materials

Statics and mechanics of materials

R.C. Hibbeler

Numerical Analysis

Numerical Analysis

Timothy Sauer

Selected chapters from software engineering

Selected chapters from software engineering

Dag Sjøberg

Statistics Principles and methods

Statistics Principles and methods

Richard Eggenberger (Narad)

Joint Structure and Function

Joint Structure and Function

Pamela K Levangie Cynthia C Norkin

Theory book IT grunnkurs

Theory book IT grunnkurs

Alf Inge Wang and Roger Midtstraum

Software Engineering 9

Software Engineering 9

Ian Sommerville

Análisis sintáctico - Teoría y práctica

Análisis sintáctico - Teoría y práctica

Leonardo Gómez Torrego

Geographic information systems and science

Geographic information systems and science

Paulson Andreas

Secure and Resilent Software Development

Secure and Resilent Software Development

Mark Abrahamson

Engineering mechanics statics

Engineering mechanics statics

The Netherlands) 'T Hooft Gerard (Utrecht Univ

Engineering mechanics statics study pack

Engineering mechanics statics study pack

Peter Schiavone.

Engineering Mechanics - Statics

Engineering Mechanics - Statics

Joint Structure & Function

Joint Structure & Function

Pamela K. Levangie

Tilstandsanalyse : innføring og prinsipper : gjennomføring, byggskader, byggefeil

Tilstandsanalyse : innføring og prinsipper : gjennomføring, byggskader, byggefeil

Svein Bjørberg

Software Engineering Processes

Software Engineering Processes

Philippe Kruchten

Data Structures and Problem Solving Using Java (2nd Edition)

Data Structures and Problem Solving Using Java (2nd Edition)

Mark Allen

Teknisk analyse

Teknisk analyse

Michael C. Thomsett

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

Fløgstad-symposium

Fløgstad-symposium

Fløgstad

Handbook of Contemporary Syntactic Theory

Handbook of Contemporary Syntactic Theory

Mark (EDT) Baltin

Data structures & Algorithm analysis in Java

Data structures & Algorithm analysis in Java

Mark Allen

Studia: S-Å

Studia: S-Å

Bertmark Norge

Data Structures and Algorithm Analysis (2nd Edition)

Data Structures and Algorithm Analysis (2nd Edition)

Mark Allen Weiss

Data Structures and Algorithm Analysis

Data Structures and Algorithm Analysis

Mark Allen Weiss

Stauder

Stauder

Siv Nilson

Computers and Information Systems

Computers and Information Systems

Timothy J. O'Leary

Formal Description Techniques

Formal Description Techniques

K.J. Turner

An update on sports medicine : proceedings from The second Scandinavian Conference in Sports Medicine, Soria Moria, Oslo, Norway, March 9.-15. 1986

An update on sports medicine : proceedings from The second Scandinavian Conference in Sports Medicine, Soria Moria, Oslo, Norway, March 9.-15. 1986

Bildanalys

Bildanalys

Gert. Aspelin

Angewandte Informatik

Angewandte Informatik