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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Roberto Giacobazzi
Libristo code: 01559682
Publishers Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysi... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

L'Arc en Ciel Numérologique 2020 - 9 Lefebvre / Book Paperback
common.buy 30.79 €
Die Realen Grundlagen Und Die Stoffe Des Rechts Burkard Wilhelm Leist / Book Paperback
common.buy 27.69 €
Brunhild Emanuel Geibel / Book Hardback
common.buy 16.80 €
Les Lesage - Un siècle d'architecture et d'aménagement - De Paris au Grand Paris Simon Texier / Book Hardback
common.buy 40.39 €
Veľká Fatra 1:50 000 / Printed items Map
common.buy 7.49 €
Interpretationswelten Günter Abel / Book Paperback
common.buy 27.89 €
Jerusalem Selma Lagerlöf / Book Paperback
common.buy 29.90 €
Das Getreidesieb Vera Redwitz / Book Paperback
common.buy 9.90 €
Der Urlaubshund Carina Babinsky / Book Paperback
common.buy 12.90 €
Zaungast ermittelt in der Pattstrasse Werner Fletcher / Book Paperback
common.buy 11.80 €
Bauplan-Kollektion für Einsteiger und Profis. Bd.1 / Book Paperback
common.buy 14.90 €
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / Book Paperback
common.buy 14.99 €
Kooperation Ungarns und Rumaniens mit dem Deutschen Reich 1933-1945 - Struktureller Zwang oder Bandwagoning for Profit? Toni Jost / Book Paperback
common.buy 18.95 €

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination 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 Roberto Giacobazzi
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 396
EAN 9783540227915
ISBN 3540227911
Libristo code 01559682
Publishers Springer, Berlin
Weight 620
Dimensions 156 x 234 x 21

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 > Operating systems
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

Macromolecular Crystallography Protocols, Volume 2 Sylvie Doublie / Book Hardback
common.buy 118.29 €
Competitive-cum-Cooperative Interfirm Relations and Dynamics in the Japanese Semiconductor Industry Yoshitaka Okada / Book Hardback
common.buy 106.69 €
Two Families In One Paper Reunion: A Priceless Experience Dalva Evette Yarrington / Book Paperback
common.buy 24.79 €
Adaptive Interference Mitigation in GNSS Renbiao Wu / Book Hardback
common.buy 150.19 €
Psychological Keys to Student Success MR Troy Dvorak / Book Paperback
common.buy 10.69 €
Clinical Management of Memory Problems (2nd Edn) (PLE: Memory) Barbara Wilson / Book Paperback
common.buy 72.29 €
Family of Fallen Leaves Charles Waugh / Book Hardback
common.buy 91.19 €
Men Who Can't Love Steven Carter / Book Paperback
common.buy 14.59 €
Women's Movements in the United States and Britain from the 1790s to the 1920s Christine Bolt / Book Hardback
common.buy 289.29 €
Disorders of the Platelets, An Issue of Hematology/Oncology Clinics of North America A Koneti Rao / Book Hardback
common.buy 94.69 €
Genders, Races, and Religious Cultures in Modern American Poetry, 1908-1934 Rachel Blau DuPlessis / Book Paperback
common.buy 57.89 €
Creative (Climate) Communications Maxwell Boykoff / Book Hardback
common.buy 103.09 €
Coming soon
Twenty Years After Alexandre Dumas / Book Hardback
common.buy 22.39 €
Emerging Technologies for Smart Cities Prabin K. Bora / Book Paperback
common.buy 107.29 €
Cambridge International AS & A Level IT Coursebook - eBook Paul Long / E-book Adobe ePub DRM
common.buy 62.09 €
Pineal Organ, Its Hormone Melatonin, and the Photoneuroendocrine System Werner Korf / Book Paperback
common.buy 107.29 €
Thomas Jefferson's Paris Howard C. Rice / Book Hardback
common.buy 82.19 €

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?