Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Static Analysis Antoine Mine
Libristo-Code: 01662058
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Diego Rivera TIBOL / Buch Hardcover
common.buy 45.59 €
Powieści Marguerite Duras Stekolshchikova Irina Stekolshchikova / Buch Broschur
common.buy 48.89 €
wols / catalogue de l'exposition Sous la direction de anne montfort / Buch Buch
common.buy 45.79 €
Puzzle 20 maxi Trzy małe świnki C-02399 / Buch binding.
common.buy 7.09 €
Mes livres mon carnet de lecture Marisol Liasu / Buch Broschur
common.buy 10.29 €
scambio John Grisham / Buch Hardcover
common.buy 19.99 €
Les outils qualitatifs en géographie - 2e éd. Marianne Morange / Buch Broschur
common.buy 32.09 €
La conspiración contra la especie humana THOMAS LIGOTTI / Buch Broschur
common.buy 20.29 €
BABADADA, Cymraeg - Schwiizerdutsch, geiriadur lluniau - Bildwoerterbuech Babadada Gmbh / Buch Broschur
common.buy 23.69 €
Nebe voní tebou Eva Hrašková / Buch Hardcover
common.buy 3.19 €
Los puritanos y otros cuentos Armando Palacio Valdes / Buch Broschur
common.buy 7.99 €
Creation du Boxeur Ultime: Apprenez les secrets et les astuces utilises par les meilleurs boxeurs et entraineurs professionnels pour ameliorer vo Correa (Athlete Professionnel Et Entrain / Buch Broschur
common.buy 24.79 €
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen / Buch Broschur
common.buy 15.19 €
El libro de los besos y la niebla Xosé Carlos Caneiro / Buch Broschur
common.buy 17.89 €
Triada, Predestinación Laura Gallego / Buch Broschur
common.buy 13.89 €
Österreichisches Wohnrecht. Kommentar Till Hausmann / Buch Blatt
common.buy 199.95 €
Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719) Nicolas Boindin / Buch Broschur
common.buy 21.49 €
Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen / Buch Broschur
common.buy 24.89 €
Frozen Planet, The Blue Planet, Planet Earth: Das Klavieralbum George Fenton / Buch Broschur
common.buy 20.79 €
Optische Rhetorik Peter Mohr / Buch Broschur
common.buy 29.95 €
Schattenvolk Viola Huber / Buch Broschur
common.buy 19.90 €
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Buch Broschur
common.buy 27.95 €

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including 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.

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.

Informationen zum Buch

Vollständiger Name Static Analysis
Autor Antoine Mine, David Schmidt
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 457
EAN 9783642331244
ISBN 3642331246
Libristo-Code 01662058
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 718
Abmessungen 155 x 235 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
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

Das könnte Sie auch interessieren

Healing the Broken Brain Dr Mike Dow / Buch Broschur
common.buy 14.69 €
From Troublesome Creek Duane (Kansas State University and Iowa State University) Acker / Buch Broschur
common.buy 13.89 €
Genealogical Abstracts of the Laws of Pennsylvania and the Statutes at Large Candy Livengood / Buch Broschur
common.buy 26.19 €
A Challenge to Adventure Alice Turner Curtis / Buch Hardcover
common.buy 29.09 €
The Battle for the Mind Kenneth Wayne Gilmore / Buch Broschur
common.buy 11.29 €
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work Kim Bailey / Buch Broschur
common.buy 34.59 €
Goblin Slayer, Vol. 13 (light novel) Kumo Kagyu / Buch Broschur
common.buy 10.69 €
Introduction to Criminology Michael Rowe / Buch Hardcover
common.buy 150.19 €
Top
Coraline Graphic Novel Neil Gaiman / Buch Broschur
common.buy 7.79 €
Obey Shepard Fairey / Buch Hardcover
common.buy 30.39 €
How to Draw Barnyard Animals and Farm Friends! Activity Book CREATIVE PLAYBOOKS / Buch Broschur
common.buy 7.39 €
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Buch Broschur
common.buy 12.59 €
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes Tatiana Bandurina / Buch Broschur
common.buy 26.99 €
Antithesis Ricky Dee / Buch Broschur
common.buy 15.39 €
Excel in CRE Livinus Wesonga / Buch Broschur
common.buy 15.39 €
Token for Mourners JOHN FLAVEL / Buch Hardcover
common.buy 25.89 €
An Introduction to Waste Stream Treatment by Precipitation J. Paul Guyer / Buch Broschur
common.buy 28.49 €
They Say I've Had a Stroke: A Stroke Survivor's Journey Elleigh Lee / Buch Broschur
common.buy 29.49 €
The Fowl Twins Eoin Colfer / Buch Hardcover
common.buy 31.19 €
Vehicle Dynamics, Stability, and Control Dean Karnopp / Buch Hardcover
common.buy 219.29 €
Dialect Change Peter AuerFrans HinskensPaul Kerswill / Buch Broschur
common.buy 53.59 €
Mapai in Israel: Political Organisation and Government in a New Society Peter Y. Medding / Buch Broschur
common.buy 40.99 €
Chioggia and the Villages of the Venetian Lagoon Richard J. Goy / Buch Hardcover
common.buy 80.59 €
Darwinism and its Discontents Michael Ruse / Buch Broschur
common.buy 33.09 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?