phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Static Analysis

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 147 b
58.56 €
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

COMING SOON
Das große Buch der Fahrzeugpflege Christian Petzoldt / Paperback
common.buy 13.88 €
Bauplan-Kollektion für Einsteiger und Profis. Bd.1 / Paperback
common.buy 13.68 €
Das Getreidesieb Vera Redwitz / Paperback
common.buy 9.85 €
Zaungast ermittelt in der Pattstrasse Werner Fletcher / Paperback
common.buy 19.01 €
Disorders of the Platelets, An Issue of Hematology/Oncology Clinics of North America A Koneti Rao / Hardback
common.buy 84.12 €
Genders, Races, and Religious Cultures in Modern American Poetry, 1908-1934 Rachel Blau DuPlessis / Paperback
common.buy 50.71 €
Competitive-cum-Cooperative Interfirm Relations and Dynamics in the Japanese Semiconductor Industry Yoshitaka Okada / Hardback
common.buy 105.86 €
Kooperation Ungarns und Rumaniens mit dem Deutschen Reich 1933-1945 - Struktureller Zwang oder Bandwagoning for Profit? Toni Jost / Paperback
common.buy 37.23 €
Macromolecular Crystallography Protocols, Volume 2 Sylvie Doublie / Hardback
common.buy 115.42 €
Der Urlaubshund Carina Babinsky / Paperback
common.buy 12.67 €
Jerusalem Selma Lagerlöf / Paperback
common.buy 29.48 €
Pineal Organ, Its Hormone Melatonin, and the Photoneuroendocrine System Werner Korf / Paperback
common.buy 115.42 €
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / Paperback
common.buy 58.46 €

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.

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

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