Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 05274432
Price: 53.79 EUR
Availability: InStock
Author: Baudouin Lecharlier
ISBN: 9783540584858

First International Static Analysis Symposium, Namur, Belgium, September 28-30, 1994. Proceedings

Baudouin Lecharlier

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274432

Verlag Springer, Berlin, November 1993

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),... Vollständige Beschreibung

Libristo-Code: 05274432

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Soluk Fotograflar Siddika Kan Pehlivanoglu

Broschur

12.69 €

Transatlantic Landscapes

Broschur

19.99 €

40 kuriosesten Inseln Gabi Froböse

Broschur

13.90 €

Gnus - die großen Wanderer (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Kalender

61.59 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Static Analysis

Autor Baudouin Lecharlier

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 471

EAN 9783540584858

ISBN 3540584854

Libristo-Code 05274432

Verlag Springer, Berlin

Gewicht 638

Abmessungen 155 x 233 x 24

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert