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.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG
SKU: 06841788
Price: 51.69 EUR
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783319121536

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Dimitra Giannakopoulou

Daniel Kroening

Sprache

Englisch

Buch Broschur

Libristo-Code: 06841788

Verlag Springer International Publishing AG, Oktober 2014

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Vollständige Beschreibung

Libristo-Code: 06841788

127 b

51.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing

Broschur

39.59 €

Percevoir : monde et langage Socks

Kalender

41.99 €

The Pug who wanted to be a Dinosaur Bella Swift

Broschur

10.50 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

Broschur

29.69 €

REVISTA TURIA 107

Buch

18.79 €

a a a a a a a a a a a a Rider Tiger Rider

MP3

3.49 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

Broschur

66.99 €

Huculskie peregrynacje weselne Świątek Adrianna

Broschur

19.79 €

Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto

Broschur

23.29 €

Mediunidade Trevas Ou Luz Ricardo Max

Broschur

8.89 €

Pfadfinder Majo Probst

Broschur

24.90 €

Love & Passion Jana Reich

Broschur

24.00 €

Airport Simulator 2019 (PlayStation PS4)

Digital CD

35.09 €

Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey

Broschur

17.19 €

Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno

Broschur

12.24 €

Der Europäische Verfassungsvertrag Klemens H. Fischer

Broschur

87.99 €

Towards Ancestral Lands Fir Bolg

Audio CD

21.69 €

Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir

Broschur

64.39 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

Broschur

74.39 €

Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera

Broschur

27.19 €

Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner

Broschur

54.99 €

Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm

Broschur

17.95 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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 Verified Software: Theories, Tools and Experiments

Autor Dimitra Giannakopoulou, Daniel Kroening

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 287

EAN 9783319121536

ISBN 3319121537

Libristo-Code 06841788

Verlag Springer International Publishing AG

Gewicht 4569

Abmessungen 155 x 235 x 15

Kategorie

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

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

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