[email protected]
We’ll reply within 24 hours
Contact
How to shop
Help
Delivery
Austrian Post 5.99 €
DPD courier 6.49 €
GLS courier 4.49 €
Shopping guide
We’re here for you!
[email protected]
My account
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
▸
Empty :-(
0
Static Analysis
Language
English
English
Book
Paperback
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),...
Full description
Libristo code: 05274432
?
161 b
161 b
68.07
€
včetně DPH
Low in stock at our supplier
Shipping in 13-16 days
Delivery to Austria
Delivery to Austria
30-day return policy
You might also be interested in
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address staticanalysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
About the book
Full name
Static Analysis
Author
Baudouin Lecharlier
Language
English
English
Binding
Book - Paperback
Date of issue
1994
Number of pages
471
EAN
9783540584858
ISBN
3540584854
Libristo code
05274432
Publishers
Springer, Berlin
Weight
638
Dimensions
155 x 233 x 24
Categories
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
