Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
DPD-Kurier 4.99 €
Hermes Kurierdienst 5.49 €
DHL-Kurier 4.49 €
Hermes-Stelle 4.99 €
DPD-Stelle 3.49 €
GLS-Kurierdienst 5.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
DPD-Kurier 4.99 €
Hermes Kurierdienst 5.49 €
DHL-Kurier 4.49 €
Hermes-Stelle 4.99 €
DPD-Stelle 3.49 €
GLS-Kurierdienst 5.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis...
Vollständige Beschreibung
Libristo-Code: 01563611
?
132 b
132 b
53.79
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
83.79
€
/
Broschur
104.59
€
/
Broschur
64.29
€
/
Broschur
17.69
€
/
Broschur
24.39
€
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.
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
Patrick Cousot
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2001
Anzahl der Seiten
439
EAN
9783540423140
ISBN
3540423141
Libristo-Code
01563611
Verlag
Springer, Berlin
Gewicht
635
Abmessungen
155 x 235 x 23
Kategorie
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
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 geliefertDas könnte Sie auch interessieren
/
Broschur
18.59
€
/
Broschur
9.09
€
/
Leporello
28.60
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?