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 :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662910
Price: 53.79 EUR
Availability: InStock
Author: Roberto Giacobazzi
ISBN: 9783642358722

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Roberto Giacobazzi

Josh Berdine

Isabella Mastroeni

Sprache

Englisch

Buch Broschur

Libristo-Code: 01662910

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Jänner 2013

This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Vollständige Beschreibung

Libristo-Code: 01662910

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

Schmerz N. Birbaumer

Broschur

55.29 €

Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L

Broschur

19.99 €

Straßenverkehrsordnung (StVO)

Broschur

18.99 €

Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl

Hardcover

11.79 €

Praha Thomas Käfer

Broschur

22.95 €

Faustine Ida von Hahn-Hahn

Broschur

14.90 €

Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca

Broschur

35.09 €

Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann

Broschur

16.39 €

SONATE PIANO PIANO ROBERT MOEVS Buch

binding.

35.89 €

Une Vie pour une Autre Levet

Broschur

23.59 €

Nur ein Geiger Hans Christian Andersen

Broschur

23.90 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Broschur

64.99 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Broschur

32.90 €

Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N

Broschur

26.09 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Broschur

22.09 €

Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt

Broschur

27.95 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Broschur

13.90 €

Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B

Broschur

51.19 €

Gabler Lexikon Personal Ulrich Büdenbender

Broschur

54.99 €

System der Politik Harald Bluhm

Broschur

44.99 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Broschur

71.69 €

Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo

Broschur

36.49 €

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Broschur

55.29 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation

Autor Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 556

EAN 9783642358722

ISBN 3642358721

Libristo-Code 01662910

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 860

Abmessungen 155 x 235 x 31

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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