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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

4th International Symposium, Paris, France, September 8-10, 1997. Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Pascal Van Hentenryck
Libristo code: 05274747
Publishers Springer, Berlin, November 1996
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, S... 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

Kritiker Der Digitalisierung Otto Peters / Book Paperback
common.buy 20 063 Ft
Dreimal anziehen, weg damit Heike Holdinghausen / Book Paperback
common.buy 6 318 Ft
"Ich kann nicht - gibt's nicht! Wie die individuelle Ruckmeldung den Attributionsstil, die Motivation und die daraus resultierende Lernleistung langfr Vanessa Brandt / Book Paperback
common.buy 15 594 Ft
Mix negocjacyjny Wieslaw Gomulski / Book Paperback
common.buy 2 491 Ft
Namen der franzoesischen Departements Martin Piesker / Book Paperback
common.buy 6 272 Ft

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

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 Pascal Van Hentenryck
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 424
EAN 9783540634683
ISBN 3540634681
Libristo code 05274747
Publishers Springer, Berlin
Weight 551
Dimensions 216 x 279 x 22

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 > Systems analysis & design
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

Alzheimer: 100 Years and Beyond Konrad Beyreuther / Book Paperback
common.buy 97 859 Ft
Defence of Infant-Baptism, (in Answer to the Objections of the Late Learned Mr. Gale.) in a Letter to the REV. MR John Wesley, ... to Which Is Added, Vincent Perronet / Book Paperback
common.buy 5 523 Ft
Managing Anger Through Selfless Thinking Floyd Robison / Book Paperback
common.buy 5 084 Ft
Cherokee Buckskin: How to skin, buck, stretch, flesh, dehair, brain tan, and smoke an animal pelt for use as clothing material. A little Russell Putnam / Book Paperback
common.buy 5 671 Ft
Asia-Literacy and Global Competence: Collections and Recollections Alicia Su Lozeron / Book Hardback
common.buy 9 235 Ft
Inky Dinky Blossom: Travel-sized adult colouring, coloring book Helen Elliston / Book Paperback
common.buy 2 376 Ft
The Spirit of Sweetwater Hamlin Garland / Book Paperback
common.buy 2 930 Ft
Soulstice Diana Murdock / Book Paperback
common.buy 2 579 Ft
Naked Howard Colyer / Book Paperback
common.buy 5 056 Ft
Soul Mate Soul Family Mark Allen Frost / Book Paperback
common.buy 4 132 Ft
Mac Laurin's Self-Instructing Writing Books, Or, Every Man and Boy His Own Writing-Master W S. MACLAURIN / Book Hardback
common.buy 11 374 Ft
The Cat Who Had 60 Whiskers. Die Katze, die Gedanken las, englische Ausgabe Lilian Jackson Braun / Book Paperback
common.buy 2 768 Ft
Narrative Development of School Children Shin-Mei Kao / Book Paperback
common.buy 19 902 Ft
future of inflight entertainment in Europe, according to passenger expectations Jasmin Schawalder / Book Paperback
common.buy 19 024 Ft
United Nations Convention on Contracts for the International Carriage of Goods Wholly or Partly by Sea Meltem Deniz Güner-Özbek / Book Hardback
common.buy 39 688 Ft
Sonata in G, K. 283 MOZART / Printed items Sheet music
common.buy 4 516 Ft
Philosophical Issues in Tourism John Tribe / Book Paperback
common.buy 14 392 Ft
Year in Immunology Noel R. Rose / Book Paperback
common.buy 54 432 Ft
Lesbian & Bisexual Identities Kristin G. Esterberg / Book Paperback
common.buy 13 440 Ft
Tunnelling Phenomena in High and Low Tc Superconductors A. Di Chiara / Book Hardback
common.buy 39 101 Ft
Coming soon
Project X Origins: Grey Book Band, Oxford Level 14: In the News: Mixed Pack of 5 Chris Powling / Book Paperback
common.buy 21 399 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?