Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Runtime Verification

Yli?s Falcone

César Sánchez

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 14133166

Uitgeverij Springer International Publishing AG, september 2016

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif... Volledige beschrijving

Libristo-code: 14133166

125 b

51.73 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Linkin Park hautnah

Gebonden (harde band)

22.47 €

La villa Cavrois Paul-Hervé Parsy

Gebonden (paperback)

12.55 €

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

Gebonden (paperback)

19.33 €

Complications de la chirurgie orthognatique Sreejee G.

Gebonden (paperback)

71.18 €

REMINISCENCES MARKUS

Audio cd

26.01 €

Inleiding in de psychopathologie Ron van Deth

Gebonden (paperback)

44.75 €

Mighty Morphin Power Rangers Combinable Dinozord Action Figure Sabertooth Tiger 20 cm Spel/speelgoed

Speelgoed

28.04 €

Matemáticas para economistas Palencia González

Gebonden (paperback)

40.39 €

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

Gebonden (paperback)

23.79 €

ATENCION A LA DIVERSIDAD BOUDON GORRAIZ

Gebonden (paperback)

23.08 €

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes Louis Bein

Gebonden (paperback)

26.82 €

Magické cupcaky a mafiny Paulína Franková

Gebonden (harde band)

10.32 €

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

Gebonden (paperback)

13.56 €

Marionettenbuhne Collin Coel

Gebonden (harde band)

17.61 €

Krieg im Jahre 1870 Michail Nikolaiev Annenkoff

Gebonden (paperback)

15.28 €

Diogene. Satire Populaire: N Degrees 1 Sans Auteur

Gebonden (paperback)

12.75 €

Jakie to flagi mini

Spel

4.04 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Runtime Verification

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

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2016

Aantal pagina's 512

EAN 9783319469812

ISBN 3319469819

Libristo-code 14133166

Uitgeverij Springer International Publishing AG

Gewicht 8015

Afmetingen 155 x 235 x 31

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger