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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Static Analysis

8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Patrick Cousot
Libristo code: 01563611
Publishers Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Full description
? points 132 b
54.51 €
106.61  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Školní diář 2025-2026 STUDENT Game Over / Calendar/Diary Diary
common.buy 3.41 € 6.68 лв
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Book Paperback
common.buy 65.08 € 127.28 лв
Eden sommerso. Viaggio nella scienza delle alghe: alimentazione, longevità e sostenibilità Francesco Cinelli / Book Paperback
common.buy 23.42 € 45.80 лв
Standortwettbewerb und Tourismus Harald Pechlaner / Book Paperback
common.buy 37.20 € 72.76 лв
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Book Paperback
common.buy 89.33 € 174.71 лв
Affordable
Золото в темной ночи (Потомки Первых #1) Лия Арден / Book Hardback
common.buy 19.69 € 38.50 лв
Malá noční můra Ondřej Červinka / Book Paperback
common.buy 1.13 € 2.22 лв
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Book Hardback
common.buy 18.23 € 35.66 лв
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Book Paperback
common.buy 111.40 € 217.89 лв
Quaestiones Plautinae. Terentianaeque Iosephus Koehm / Book Hardback
common.buy 115.19 € 225.28 лв
Affordable
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Book Board book
common.buy 5.12 € 10.02 лв
TANTRA Y SEXO / Book Paperback
common.buy 26.11 € 51.07 лв
El Born CC GARCIA ESPUCHE / Book Book
common.buy 17.25 € 33.74 лв
Nouvelle Nomenclature Pharmaceutique, Avec Tableaux, Synonymie Ancienne Et Nouvelle CHEREAU-A / Book Paperback
common.buy 17.46 € 34.14 лв
A Helyi Onkormanyzat: Es A Felette Gyakorolt Allami Felugyelet (1896) Jozsef Renyi / Book Paperback
common.buy 24.09 € 47.12 лв
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Audio Audio CD
common.buy 18.65 € 36.47 лв
Que amaga el petit Edu LINNE BIE / Book Hardback
common.buy 9.68 € 18.94 лв
Handbuch Der Architektur, 2 Band Anonymous / Book Paperback
common.buy 22.07 € 43.16 лв

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

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 Patrick Cousot
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 439
EAN 9783540423140
ISBN 3540423141
Libristo code 01563611
Publishers Springer, Berlin
Weight 635
Dimensions 155 x 235 x 23

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
Computing & Information Technology > Computer science > Artificial intelligence
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

Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Book Paperback
common.buy 10.67 € 20.87 лв
Reactive Application Development Duncan DeVore / Book Paperback
common.buy 58.03 € 113.50 лв
Getting MEAN with Mongo Simon Holmes / Book Paperback
common.buy 56.79 € 111.07 лв
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Book Paperback
common.buy 6.73 € 13.17 лв
Shrine of the Irish Oak NATHANIEL HUNT / Book Hardback
common.buy 25.23 € 49.35 лв
A Scattering and Anniversary: Poems Christopher Reid / Book Paperback
common.buy 12.17 € 23.81 лв
Old Father Time Peter D. Bull / Book Paperback
common.buy 19.37 € 37.89 лв
An Enquiry Into the Obligations of Christians to Use Means for the Conversion of the Heathens William Carey / Book Paperback
common.buy 18.44 € 36.07 лв
Toledo State Hospital Brownlee / Book Paperback
common.buy 22.17 € 43.37 лв
Complete Guide to the Maltese Jordan Pogorzelski / Book Hardback
common.buy 26.94 € 52.69 лв
This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode / Book Board book
common.buy 31.09 € 60.80 лв
Top
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Book Hardback
common.buy 15.13 € 29.58 лв
Credit Risk Management and Analysis Stuart Shelly / Book Paperback
common.buy 184.41 € 360.68 лв
The Wood Between the Worlds: A Poetic Theology of the Cross Brian Zahnd / Book Hardback
common.buy 19.48 € 38.10 лв
Top
The Book of Hallowe'en Ruth Edna Kelley / Book Paperback
common.buy 9.94 € 19.45 лв
Violet Squeakers The Mouse / Book Paperback
common.buy 13.21 € 25.83 лв
FUTURES TRADER PRO COMPREHENSIVE GUIDE TO S&P 500 E-MINI FUTURES JAMES RICHARDS / Book Hardback
common.buy 70.73 € 138.33 лв
FRAILTY OF FLESH THE Sandra Ruttan / Book Paperback
common.buy 15.18 € 29.68 лв
Marvelous Land of Oz Frank L. Baum / Book Paperback
common.buy 13.73 € 26.85 лв
Advances in Gabor Analysis Hans G. Feichtinger / Book Hardback
common.buy 108.76 € 212.72 лв
Race and Social Analysis Caroline Knowles / Book Hardback
common.buy 161.51 € 315.89 лв
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Book Hardback
common.buy 344.12 € 673.03 лв
Top
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Book Hardback
common.buy 33.83 € 66.17 лв
Perfect (Teacher) Coach Terri Broughton / Book Hardback
common.buy 17.25 € 33.74 лв

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