Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Radhia Cousot
Libristo code: 01562711
Publishers Springer, Berlin, November 2002
This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysi... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Jadrné memento Bernard Pitrun / Book Paperback
common.buy 4 469 Ft
Top
Bohové lžou Kaori Ozaki / Book Paperback
common.buy 2 990 Ft
Wissenstransfer Andrea Becher / Book Hardback
common.buy 18 936 Ft
MUNDOLOGIA JUAN MANUEL HEREDIA / Book Book
common.buy 7 737 Ft
We Never Learn 6 TAISHI TSUTSUI / Audio Audio CD
common.buy 3 841 Ft
Storia Della Repubblica Di Venezia Dal Suo Principio Sino Al Suo Fine: Opera Originale Volume 11 Giuseppe Cappelletti / Book Paperback
common.buy 10 288 Ft
de l'Hydro-Rhinite Ulceree Ou Traite Raisonne de la Morve Et Du Farcin Chez Le Cheval Mariot-Didieux-S / Book Paperback
common.buy 7 034 Ft
Zu Christian Stark / Book Paperback
common.buy 6 272 Ft
ABC der Tiere / ABC der Tiere 2 - Arbeitsheft Sprachbuch Klaus Kuhn / Book Sheet
common.buy 4 867 Ft

This book constitutes 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.§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 procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Static Analysis
Author Radhia Cousot
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 510
EAN 9783540403258
ISBN 3540403256
Libristo code 01562711
Publishers Springer, Berlin
Weight 726
Dimensions 155 x 235 x 26

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Fast Reactions in Energetic Materials A. S. Shteinberg / Book Hardback
common.buy 59 474 Ft
Astrology Made Easy Anon / Book Paperback
common.buy 8 777 Ft
Reflections on Religion, the Divine, and the Constitution George Anastaplo / Book Hardback
common.buy 60 107 Ft
Perspectives in Analysis, Geometry, and Topology Ilia Itenberg / Book Hardback
common.buy 55 518 Ft
Humanist Manifestos I and II Paul Kurtz / Book Paperback
common.buy 4 469 Ft
I Choose to Be Ignorant F P Kopp / Book Paperback
common.buy 8 107 Ft
Smugglers of Gor Norman / Book Paperback
common.buy 9 424 Ft
Horse and His Christian John L Tuff / Book Paperback
common.buy 7 400 Ft
Blackboards Metka Krasovec / Book Paperback
common.buy 6 817 Ft
Military Engineer Guillaume Le Blond / Book Paperback
common.buy 8 957 Ft
Glossary and Notes Heron Books / Book Paperback
common.buy 9 572 Ft
Affordable
Engineering MLOps Emmanuel Raj / Book Paperback
common.buy 9 965 Ft
Yad Vashem Deena Glickman / Book Hardback
common.buy 35 232 Ft
Spirit Communication Mari Silva / Book Hardback
common.buy 8 444 Ft
Top New
Architecture Against Architecture Reinier de Graaf / Book Hardback
common.buy 8 148 Ft
New
2026 Maine ATV Trail Map Atlas Quintal-Snowman / Book Paperback
common.buy 18 612 Ft
Plant-Animal Communication H. Martin Schaefer / Book Hardback
common.buy 79 626 Ft
Controlling Paris Jonathan M. House / Book Hardback
common.buy 27 948 Ft
Coming soon
Indian Textiles John Gillow / Book Paperback
common.buy 10 011 Ft
Passages to Power Pippa Norris / Book Paperback
common.buy 18 321 Ft
Women and the Teaching Profession Fatimah Kelleher / Book Paperback
common.buy 29 765 Ft
International Handbook of Juvenile Justice Josine Junger-Tas / Book Hardback
common.buy 118 833 Ft
Easy Stained Glass Panel Lampshades Anna Croyle / Book Paperback
common.buy 2 990 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?