LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 Hermes Kurierdienst 4.99 DHL-Kurier 3.99 Hermes-Stelle 4.49 DPD-Stelle 2.99 GLS-Kurierdienst 4.49

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Static Analysis Roberto Giacobazzi
Libristo-Code: 01559682
Verlag Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysi... Vollständige Beschreibung
? points 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


L'Arc en Ciel Numérologique 2020 - 9 Lefebvre / Buch Broschur
common.buy 30.79
Brunhild Emanuel Geibel / Buch Hardcover
common.buy 16.80
Die Realen Grundlagen Und Die Stoffe Des Rechts Burkard Wilhelm Leist / Buch Broschur
common.buy 27.69
Interpretationswelten Günter Abel / Buch Broschur
common.buy 27.89
Jerusalem Selma Lagerlöf / Buch Broschur
common.buy 29.90
Das Getreidesieb Vera Redwitz / Buch Broschur
common.buy 9.90
Der Urlaubshund Carina Babinsky / Buch Broschur
common.buy 12.90
Zaungast ermittelt in der Pattstrasse Werner Fletcher / Buch Broschur
common.buy 11.80
Seminarunterlage Word 2003 Tipps und Tricks Michel Beger / Buch Broschur
common.buy 14.99

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto