- 5 Results
Lowest price: € 40.93, highest price: € 83.41, average price: € 65.55
1
Static Analysis
Order
at Orellfuessli.ch
CHF 76.90
(aprox. € 74.91)
Shipment: € 17.541
Order
Provider details
Sponsored link

Static Analysis - new book

ISBN: 9783540664598

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all prog… More...

Nr. A1000384096. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 4 - 7 Werktagen, zzgl. Versandkosten. (EUR 17.54)
close (x)
2
Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - File, Gilberto (Herausgeber); Cortesi, Agostino (Herausgeber)
Order
at Achtung-Buecher.de
€ 83.41
Shipment: € 0.001
Order
Provider details
Sponsored link

File, Gilberto (Herausgeber); Cortesi, Agostino (Herausgeber):

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - new book

1999, ISBN: 3540664599

1999 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretisc… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
3
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science, 1694, Band 1694) - Cortesi, Agostino, File, Gilberto
Order
at amazon.de
€ 40.93
Shipment: € 3.001
Order
Provider details
Sponsored link
Cortesi, Agostino, File, Gilberto:
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science, 1694, Band 1694) - Paperback

2008

ISBN: 9783540664598

Springer, Taschenbuch, Auflage: 1999, 368 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.15 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… More...

Gebraucht, wie neu. Shipping costs:Gewöhnlich versandfertig in 6 bis 7 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DMI Media Europe
close (x)
4
Static Analysis - Agostino Cortesi
Order
at BookDepository.com
€ 74.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Agostino Cortesi:
Static Analysis - Paperback

ISBN: 9783540664598

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applicatio… More...

Shipping costs:Versandkostenfrei. (EUR 0.00)
close (x)
5
Static Analysis - Agostino Cortesi/ Gilberto File
Order
at Hugendubel.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Agostino Cortesi/ Gilberto File:
Static Analysis - Paperback

ISBN: 9783540664598

*Static Analysis* - 6th International Symposium SAS'99 Venice Italy September 22-24 1999 Proceedings. Auflage 1999 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer … More...

Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Static Analysis
Author:
Title:
ISBN:

3540664599


This book constitutes the refereed proceedings of the 6th International Symposium on Static Analysis, SAS'99, held in Venice, Italy in September 1999. The 18 revised full papers presented together with five invited contributions, were carefully reviewed and selected from 42 submissions. The book presents the state of the art in Static Analysis. The papers are organized in sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment, and foundations.

Details of the book - Static Analysis


EAN (ISBN-13): 9783540664598
ISBN (ISBN-10): 3540664599
Hardcover
Paperback
Publishing year: 1999
Publisher: Springer Berlin Heidelberg
372 Pages
Weight: 0,561 kg
Language: eng/Englisch

Book in our database since 2007-03-07T11:11:11+00:00 (London)
Detail page last modified on 2024-02-05T15:09:38+00:00 (London)
ISBN/EAN: 3540664599

ISBN - alternate spelling:
3-540-66459-9, 978-3-540-66459-8
Alternate spelling and related search-keywords:
Book author: agostino, agosti, cortesi, cortes, landscape annual
Book title: computer notes, static analysis, sas, who who 1999, venice, notes analyses, italy, fundamentals computation theory

Information from Publisher

Author: Agostino Cortesi; Gilberto File
Title: Lecture Notes in Computer Science; Static Analysis - 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Publisher: Springer; Springer Berlin
360 Pages
Publishing year: 1999-09-08
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 360 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Java; abstract interpretation; formal methods; partial evaluation; program analysis; program semantics; structured analysis; Software Engineering; Theory of Computation; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; EA

Synchronization in JAVA Programs.- A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.- Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.- Synchronous Languages.- Dynamic Partitioning in Analyses of Numerical Properties.- Polyhedral Analysis for Synchronous Languages.- Abstract Domains.- Decomposing Non-redundant Sharing by Complementation.- Freeness Analysis Through Linear Refinement.- Binary Decision Graphs.- Binding-Time Analysis for Both Static and Dynamic Expressions.- Concurrency.- Abstract Interpretation of Mobile Ambients.- Abstracting Cryptographic Protocols with Tree Automata.- State Space Reduction Based on Live Variables Analysis.- Static Single Assignment.- Partial Dead Code Elimination Using Extended Value Graph.- Translating Out of Static Single Assignment Form.- Optimizations.- Eliminating Dead Code on Recursive Data.- Detecting Equalities of Variables: Combining Efficiency with Precision.- Foundations.- A New Class of Functions for Abstract Interpretation.- Equational Semantics.- Abstract Animator for Temporal Specifications: Application to TLA.- Invited Talks and Tutorials.- Static Analysis of Mega-Programs.- Safety versus Secrecy.- On the Complexity Analysis of Static Analyses.- Model-Checking.- Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.
Includes supplementary material: sn.pub/extras
< to archive...