- 0 Ergebnisse
Kleinster Preis: € 64,99, größter Preis: € 101,28, Mittelwert: € 79,75
1
Static Analysis  17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings  Radhia Cousot  Taschenbuch  Lecture Notes in Computer Science  Englisch  2010 - Cousot, Radhia
Bestellen
bei booklooker.de
€ 66,90
Versand: € 0,00
Bestellen
Cousot, Radhia:

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings Radhia Cousot Taschenbuch Lecture Notes in Computer Science Englisch 2010 - Taschenbuch

2010, ISBN: 9783642157684

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

preigu
2
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Bestellen
bei Indigo.ca
C$ 154,95
(ca. € 101,28)
Bestellen
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings - neues Buch

2010, ISBN: 9783642157684

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.

3
Static Analysis - Herausgegeben von Cousot, Radhia Martel, Matthieu
Bestellen
bei booklooker.de
€ 64,99
Versand: € 0,00
Bestellen
Herausgegeben von Cousot, Radhia Martel, Matthieu:
Static Analysis - Taschenbuch

2010

ISBN: 9783642157684

[ED: Softcover], [PU: Springer, Berlin], Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

buecher.de GmbH & Co. KG
Bezahlte Anzeige
4
Static Analysis
Bestellen
bei Dodax.de
€ 85,59
Versand: € 0,00
Bestellen
Static Analysis - neues Buch

2010, ISBN: 9783642157684

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Mehr…

Nr. TLOOFQHR7MC. Versandkosten:, Lieferzeit: 5 Tage, DE. (EUR 0.00)

5
Static Analysis
Bestellen
bei Thalia.de
€ 79,99
Versand: € 0,00
Bestellen
Static Analysis - Taschenbuch

2010, ISBN: 9783642157684

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming… Mehr…

Nr. 23488121. Versandkosten:, Sofort lieferbar, DE. (EUR 0.00)


Details zum Buch
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis). The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

Detailangaben zum Buch - Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings


EAN (ISBN-13): 9783642157684
ISBN (ISBN-10): 3642157688
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
471 Seiten
Gewicht: 0,727 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-05-13T00:48:58+02:00 (Berlin)
Detailseite zuletzt geändert am 2020-04-22T21:29:14+02:00 (Berlin)
ISBN/EAN: 9783642157684

ISBN - alternative Schreibweisen:
3-642-15768-8, 978-3-642-15768-4


< zum Archiv...