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 point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 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

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Markus Müller-Olm
Libristo code: 05166407
Publishers Springer International Publishing AG, August 2014
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Sta... Full description
? points 132 b
19 652 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

The Second Booke of Songs or Ayres M. /Pschichholz Skiba / Audio Audio CD
common.buy 9 377 Ft
Verbindungen II Maria Ivanytska / Book Hardback
common.buy 14 576 Ft
IT-Berufe Ingo Patett / Book Paperback
common.buy 14 155 Ft
Ballet: La mejor guía para apoyar a tu hijo: Manual para Padres Nadia Bautista Contreras / Book Paperback
common.buy 3 063 Ft
Déviance Sylvain / Book Paperback
common.buy 7 872 Ft
Droits constitutionnels et institutions politiques du monde Owona / Book Paperback
common.buy 23 848 Ft
Papst Sixtus Der Fünfte: Tragödie in Fünf Aufzügen Julius Minding / Book Hardback
common.buy 13 917 Ft
Finanzierungs-Leasing in Der Bilanz Des Leasinggebers Heinz J. Schirduan / Book Paperback
common.buy 18 564 Ft
Epikie Ingo Proft / Book Hardback
common.buy 28 791 Ft
Savane - Bunker: La Balada de Los Viejos Monstruos Maria Mercedes Perez Casado / Book Paperback
common.buy 4 151 Ft
Getriebe Und Getriebemodelle Auschuss Fur Witschaftiliche Fertigung Berlin Verein / Book Paperback
common.buy 20 835 Ft

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type 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 Markus Müller-Olm, Helmut Seidl
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 337
EAN 9783319109350
ISBN 3319109359
Libristo code 05166407
Publishers Springer International Publishing AG
Weight 5387
Dimensions 155 x 235 x 20

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

The Dilemma of Mother-Daughter Relationship Dawla Alamri / Book Paperback
common.buy 16 699 Ft
Maori Harlow / Book Hardback
common.buy 34 199 Ft
Enhancing Sustainable Rural Financial Services Delivery in Tanzania Michael Mwenda / Book Paperback
common.buy 19 073 Ft
Baggage Shelia Bolt Rudesill / Book Paperback
common.buy 4 497 Ft
Living Well Without Salt: No Salt, Lowest Sodium Cookbook Series Donald A Gazzaniga / Book Paperback
common.buy 6 660 Ft
Abbotsford: building by numbers Mrs Sheila Scott / Book Paperback
common.buy 9 559 Ft
The Shadow of Black Wings James Calbraith / Book Paperback
common.buy 5 225 Ft
Horn of Plenty Blythe Ayne / Book Hardback
common.buy 6 303 Ft
Tetradymus JOHN TOLAND / Book Hardback
common.buy 15 249 Ft
Walter Derren Riley / Book Paperback
common.buy 7 258 Ft
Kites Romain Gary / Book Paperback
common.buy 4 285 Ft
The Darkest King: William's Story Gena Showalter / Book Paperback
common.buy 3 434 Ft
The Complete Book of the Occult and Fortune Telling M. C. Poinsot / Book Hardback
common.buy 21 730 Ft
Washington Thomas J Gebhardt III / Book Paperback
common.buy 5 527 Ft
Gideon Gachiri Michuki the Education and Faith Trailblazer James Michuki / E-book Adobe ePub DRM
common.buy 747 Ft
Lady of the Forest. [A Novel.] Elizabeth Meade / Book Paperback
common.buy 10 262 Ft
Studies in Seventeenth-Century European Philosophy M. A. Stewart / Book Hardback
common.buy 84 408 Ft
Revolution of the Heart Haiyan Lee / Book Hardback
common.buy 56 498 Ft
Cha-ching! Ali Liebegott / Book Paperback
common.buy 5 838 Ft
Polynomial Root-finding And Polynomiography Bahman Kalantari / Book Hardback
common.buy 73 642 Ft
Interpreting Weight Jeffery Sobal / Book Hardback
common.buy 45 880 Ft
McGraw-Hill's 500 College Physics Questions Alvin Halpern / Book Paperback
common.buy 8 243 Ft
Making Transnational Feminism Millie Thayer / Book Hardback
common.buy 103 749 Ft
Death of the Justice System Linda Achor / Book Paperback
common.buy 14 992 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?