[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Static Analysis

Sprache EnglischEnglisch
Buch Broschur
Buch Static Analysis Xavier Rival
Libristo-Code: 13788792
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2016
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium,... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
On Earth We're Briefly Gorgeous Ocean Vuong / Hardcover
common.buy 14.72 €
TOP
Rascal Does Not Dream of a Sister Home Alone (light novel) / Broschur
common.buy 15.23 €
TOP
Garden Cities of To-Morrow Ebenezer Howard / Broschur
common.buy 9.37 €
TOP
The Complete Life and Times of Scrooge McDuck Volume 1 Don Rosa / Hardcover
common.buy 33.69 €
TOP
The Akashic Tarot Sharon A. Klingler / Karten
common.buy 26.12 €
TOP
Stolen Tongues Felix Blackwell / Broschur
common.buy 18.15 €
TOP
Quit Like a Woman WHITAKER HOLLY GLENN / Broschur
common.buy 13.11 €
TOP
Infinite Powers: How Calculus Reveals the Secrets of the Universe Steven H. Strogatz / Broschur
common.buy 19.06 €
TOP
Daemonologie: A Critical Edition. Expanded. In Modern English with Notes King James / Broschur
common.buy 14.01 €
TOP
Essential Techniques of Landscape Drawing SUZANNE BROOKER / Hardcover
common.buy 27.84 €
Cloud Atlas David Mitchell / Hardcover
common.buy 25.42 €
Better Angels of Our Nature Steven Pinker / Broschur
common.buy 24.10 €
Ritz London John Williams / Hardcover
common.buy 42.97 €
Magical Art Coloring Book (Harry Potter) / Hardcover
common.buy 15.53 €
Psychology of Intelligence Analysis Richards J. Heuer / Broschur
common.buy 23.80 €
Lonely Planet Mauritius, Reunion & Seychelles Lonely Planet / Broschur
common.buy 34.19 €

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

Informationen zum Buch

Vollständiger Name Static Analysis
Autor Xavier Rival
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 511
EAN 9783662534120
ISBN 3662534126
Libristo-Code 13788792
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 795
Abmessungen 155 x 235 x 30

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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 > Informatik > Rechnerarchitektur und Logik-Entwurf
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
Passwort vergessen

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