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

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Runtime Verification

Yli?s Falcone

César Sánchez

Sprache

Englisch

Buch Broschur

Libristo-Code: 14133166

Verlag Springer International Publishing AG, September 2016

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif... Vollständige Beschreibung

Libristo-Code: 14133166

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Linkin Park hautnah

Hardcover

24.99 €

Inleiding in de psychopathologie Ron van Deth

Broschur

56.99 €

ATENCION A LA DIVERSIDAD BOUDON GORRAIZ

Broschur

20.59 €

Complications de la chirurgie orthognatique Sreejee G.

Broschur

70.29 €

(IFCT016PO) Arquitectura del PC - Mantenimiento Hardware MANCIAMELLI

Buch

34.39 €

Scholia graeca in Aeschinem et Isocratem ex codicibus aucta et emendata Aeschines Aeschines

Broschur

18.09 €

Mighty Morphin Power Rangers Combinable Dinozord Action Figure Sabertooth Tiger 20 cm Spiel/Spielzeug

Spielzeug

27.69 €

Fun home. Une tragicomédie familiale Alison Bechdel

Broschur

11.19 €

La villa Cavrois Paul-Hervé Parsy

Broschur

10.29 €

Matemáticas para economistas Palencia González

Broschur

36.49 €

EL ESCRITO(R) MISIONERO: ENTRE CIENCIA, ARTE Y LITERATURA MARTINO

Broschur

21.49 €

L'antenne de Lecher - guide pratique d'utilisation Coquelle

Broschur

17.79 €

REMINISCENCES MARKUS

Audio CD

22.39 €

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes Louis Bein

Broschur

29.90 €

Le Coeur des enfants léopards de Wilfried N'Sondé (Fiche de lecture) Marine Everard

Broschur

13.39 €

Marionettenbuhne Collin Coel

Hardcover

19.50 €

Krieg im Jahre 1870 Michail Nikolaiev Annenkoff

Broschur

16.90 €

Magické cupcaky a mafiny Paulína Franková

Hardcover

10.09 €

Diogene. Satire Populaire: N Degrees 1 Sans Auteur

Broschur

12.29 €

Jakie to flagi mini

Spiel

4.69 €

Histoire de Jerusalem BIECHY-A

Broschur

17.69 €

FRE-OEUVRES REVUES SUR LES MAN Jacques Benigne 1627-1704 Bossuet

Hardcover

38.79 €

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

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 Runtime Verification

Autor Yli?s Falcone, César Sánchez

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 512

EAN 9783319469812

ISBN 3319469819

Libristo-Code 14133166

Verlag Springer International Publishing AG

Gewicht 8015

Abmessungen 155 x 235 x 31

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 > Systemanalyse und -design

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