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

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

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, Januar 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

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Schmerz N. Birbaumer

Broschur

55.29 €

Praha Thomas Käfer

Broschur

22.96 €

Nur ein Geiger Hans Christian Andersen

Broschur

23.90 €

Une Vie pour une Autre Levet

Broschur

28.89 €

VOM EGERLAND BIS OBERKRAIN CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MICHAEL KLOSTERMANN_ Buch

binding.

110.09 €

SONATE PIANO PIANO ROBERT MOEVS Buch

binding.

32.39 €

Hedda Gabler Henrik Ibsen

Broschur

17.90 €

Kdo zatočí s Naschválníkem Ludmila Bakonyi Selingerová

Hardcover

3.69 €

Straßenverkehrsordnung (StVO)

Broschur

17.79 €

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

Hardcover

10.59 €

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

Broschur

15.30 €

Avesta Friedrich von Spiegel

Broschur

49.90 €

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

Broschur

34.90 €

Faustine Ida von Hahn-Hahn

Broschur

14.90 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Broschur

20.69 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Broschur

68.00 €

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

Broschur

51.19 €

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 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Broschur

13.90 €

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

Broschur

27.95 €

System der Politik Harald Bluhm

Broschur

44.99 €

Gabler Lexikon Personal Ulrich Büdenbender

Broschur

55.01 €

Eddalieder: Gedichte Der Heldensage Finnur Jnsson

Broschur

19.59 €

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