Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Runtime Verification Bernd Finkbeiner
Libristo-code: 24640008
Uitgeverij Springer Nature Switzerland AG, oktober 2019
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Volledige beschrijving
? points 162 b
67.07 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Cluburlaub Marion Keil / Boek Gebonden (paperback)
common.buy 4.64 €
Nieuw
La France / Boek Boek
common.buy 36.72 €
CMM 1 GUILLAUME DUFAY (ca. 1400-1474), Opera Omnia, edited by Heinrich Besseler. Vol. III Missarum pars altera Dufay Boek Gebonden (paperback)
common.buy 108.35 €
Il a Fait L'Idiot La Chapelle Daniel Auteuil / Boek Gebonden (paperback)
common.buy 7.98 €
Po prostu magia Rygiel Katarzyna / Boek Gebonden (paperback)
common.buy 10.01 €
TOP
Druuna - Tome 02 Paolo Eleuteri Serpieri / Boek Gebonden (harde band)
common.buy 25.89 €
Quels sports pour votre enfant ? Patrick Seners / Boek Gebonden (paperback)
common.buy 19.52 €
STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz) / Spel/speelgoed Speelgoed
common.buy 6.26 €
Devenez un pro de la guitare en 10 minutes par jour Phil Capone / Boek Gebonden (paperback)
common.buy 25.08 €
Parola, immagine e cultura editoriale Paolo Rusconi / Boek Gebonden (paperback)
common.buy 37.63 €
On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary / Boek Gebonden (paperback)
common.buy 22.96 €
TOP
Zahrada bez zalévání Annette Leppleová / Boek Gebonden (paperback)
common.buy 8.89 €
de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J / Boek Gebonden (paperback)
common.buy 25.18 €
Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling / Boek Gebonden (paperback)
common.buy 13.55 €
Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz / Boek Gebonden (paperback)
common.buy 57.86 €
Hombre, naturaleza y sociedad en la obra de Fernando Boytel Jambu Adriana Mercedes Ortiz Blanco / Boek Gebonden (paperback)
common.buy 48.96 €
Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller / Boek Gebonden (paperback)
common.buy 62.62 €
Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss / Boek Gebonden (paperback)
common.buy 53.11 €
Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn / Drukwerk Bladmuziek
common.buy 156.01 €
Nanobots Capero / Boek Gebonden (paperback)
common.buy 19.32 €
Školní detektiv Zuzana Pospíšilová / Boek Gebonden (harde band)
common.buy 7.78 €
Tansanit: Gedichte Norbert J Rottensteiner / Boek Gebonden (paperback)
common.buy 12.33 €
Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki / Boek Gebonden (paperback)
common.buy 8.59 €
Waffenschwestern Mark Lawrence / Boek Gebonden (paperback)
common.buy 16.28 €

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 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 system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter "Assumption-Based Runtime Verification with Partial Observability and Resets" and chapter "NuRV: a nuXmv Extension for Runtime Verification" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Runtime Verification
Auteur Bernd Finkbeiner, Leonardo Mariani
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2019
Aantal pagina's 413
EAN 9783030320782
Libristo-code 24640008
Uitgeverij Springer Nature Switzerland AG
Gewicht 646
Afmetingen 155 x 235 x 23

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
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

Dit vind je misschien ook interessant

Detection of Malingered Mild Head Injury Todd D. Pizitz / Boek Gebonden (paperback)
common.buy 52.60 €
Beachcombing for a Shipwrecked God Joe Coomer / Boek Gebonden (paperback)
common.buy 15.57 €
E-Publishing and Digital Libraries Ioannis Iglezakis / Boek Gebonden (harde band)
common.buy 200.32 €
Frequency Changes Matt Kavan / Boek Gebonden (paperback)
common.buy 15.57 €
Waterloo Voices 1815 Martyn Beardsley / Boek Gebonden (harde band)
common.buy 22.65 €
Tolkien in the Twenty-First Century: The Meaning of Middle-Earth Today Groom / Boek Gebonden (harde band)
common.buy 24.58 €
Gospel of Mark Dale McConachie / Luisterboek MP3
common.buy 7.98 €
Diana's Pocket Posh Journal, Mum Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.68 €
Crossing the Tracks Anne Wheelock / Boek Gebonden (harde band)
common.buy 21.64 €
Controversies in Innocence Cases in America Cooper / Boek Gebonden (paperback)
common.buy 80.83 €
Your Turn Julie Lythcott-Haims / Boek Gebonden (paperback)
common.buy 17.29 €
Wordt verwacht
Wonderful Wizard of Oz Mary Sebag-Montefiore / Boek Gebonden (harde band)
common.buy 10.41 €
Tao Te Ching Lao Tzu / Boek Gebonden (paperback)
common.buy 12.13 €
Tom Swift & His Photo Telephone - Part 1: Gigantic Print Edition Victor Appleton / Boek Gebonden (paperback)
common.buy 16.58 €
Jonah's Luck Fergus Hume / Boek Gebonden (paperback)
common.buy 25.08 €
Europe After the Congress of Aix-la-Chapelle: Forming the Sequel to the Congress of Vienna Dominique Georges Frederic Pradt / Boek Gebonden (harde band)
common.buy 34.49 €
Eat Your Water: The Only Weight Loss Guide You'll Ever Need Michele Martinez / Boek Gebonden (paperback)
common.buy 40.97 €
Dolch Sight Words Cursive Handwriting Workbook for Kindergarten: Learning cursive handwriting workbook for kids Silvia Franklin / Boek Gebonden (paperback)
common.buy 10.31 €
Wordt verwacht
HSMTMTS: High School Musical: The Encore Edition Junior Novelization Bind-up Disney Books / Boek Gebonden (paperback)
common.buy 9.70 €
Grad Night Carver Pike / Boek Gebonden (paperback)
common.buy 16.68 €
Private Governance and Public Authority Stefan Renckens / Boek Gebonden (harde band)
common.buy 113.61 €
Wordt verwacht
Wild Vet Adventures National Geographic Kids / Boek Gebonden (harde band)
common.buy 17.09 €
Keto Air Fryer Cookbook Fleming Clarissa / Boek Gebonden (paperback)
common.buy 17.19 €
Singapore Politics Under the People's Action Party R. S. Milne / Boek Gebonden (paperback)
common.buy 75.27 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken