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

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Runtime Verification Ezio Bartocci
Libristo-code: 09493683
Uitgeverij Springer International Publishing AG, augustus 2015
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

TOP Wordt verwacht
Essen und Trinken Anja Boretzki / Spel/speelgoed Spel
common.buy 17.90 €
Octomes Pierre Raufast / Boek Gebonden (paperback)
common.buy 25.28 €
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Boek Gebonden (paperback)
common.buy 48.96 €
Solfeggio-Frequenzen Andreas Kühnemann / Boek Gebonden (paperback)
common.buy 20.02 €
101 DIBUJOS ADORABLES DE GATOS MAYO / Boek Boek
common.buy 22.35 €
Love And Longing Bill Carrothers / Audio Audio cd
common.buy 18.91 €
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Boek Gebonden (paperback)
common.buy 20.53 €
Wilczek Ryrych Katarzyna / Boek Gebonden (harde band)
common.buy 4.95 €
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Boek Gebonden (paperback)
common.buy 15.37 €
IQ Eylem Öncel / Boek Gebonden (paperback)
common.buy 12.23 €
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Boek Gebonden (paperback)
common.buy 56.14 €
sembrar sopa de verduras Lois Ehlert / Boek Gebonden (paperback)
common.buy 8.39 €
Night Holly Cole / Audio Audio cd
common.buy 17.70 €
Ca rime et ca swing chez Claudine Claudine Grenat / Boek Gebonden (paperback)
common.buy 11.83 €
Private Geschaftsbanken Andreas Menzen / Boek Gebonden (paperback)
common.buy 9.10 €
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Audio Audio cd
common.buy 10.92 €
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Boek Gebonden (harde band)
common.buy 183.63 €
Blutsbruder Ernst Haffner / Boek Gebonden (paperback)
common.buy 16.89 €
Chen-Stil Taijiquan Urs Krebs / Boek Gebonden (paperback)
common.buy 16.28 €

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in§performance monitoring, hardware design emulation and simulation, etc.

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 Ezio Bartocci, Rupak Majumdar
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 432
EAN 9783319238197
ISBN 3319238191
Libristo-code 09493683
Uitgeverij Springer International Publishing AG
Gewicht 6788
Afmetingen 155 x 235 x 25

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 > Wiskundige systeemtheorie
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

Dit vind je misschien ook interessant

Framework Houses Bernd Becher / Boek Gebonden (harde band)
common.buy 63.53 €
Karl Blossfeldt Karl Blossfeldt / Boek Gebonden (harde band)
common.buy 27.11 €
What Do Fishies Eat? Adam Peterson / Boek Gebonden (paperback)
common.buy 12.13 €
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / E-book Adobe ePub DRM
common.buy 37.43 €
Modern Bee-Keeping Herbert Mace / Boek Gebonden (paperback)
common.buy 23.16 €
3D Bioprinting Sai Mounika Muramulla / Boek Gebonden (paperback)
common.buy 64.04 €
Action Kadabra Authors and Dragons / Boek Gebonden (paperback)
common.buy 6.77 €
Chester B. Himes Lawrence P. Jackson / Boek Gebonden (harde band)
common.buy 30.14 €
Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr / Boek Gebonden (paperback)
common.buy 36.41 €
John Paul II or the Saint of the youth Saint John Paul II / Boek Gebonden (paperback)
common.buy 7.27 €
You Can Search Me George V Hobart / Boek Gebonden (paperback)
common.buy 7.68 €
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Boek Gebonden (paperback)
common.buy 25.59 €
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Boek Gebonden (paperback)
common.buy 6.77 €
TOP
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Boek Gebonden (paperback)
common.buy 29.53 €
Two Easy Piano Sonatas no. 19 and no. 20 g minor and G major op. 49 no. 1 and no. 2 Ludwig van Beethoven / Boek Gebonden (paperback)
common.buy 7.38 €
The Warning James Patterson / Boek Gebonden (paperback)
common.buy 21.95 €
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Boek Gebonden (harde band)
common.buy 51.49 €
Dediu Newsletter Vol. 4, Nr. 3 (39), 6 February 2020: World Monthly Report News and Suggestions for Sustainable Peace, Freedom and Prosperity Michael M. Dediu / Boek Gebonden (paperback)
common.buy 19.32 €
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Boek Gebonden (paperback)
common.buy 37.32 €
The Art of Public Speaking J. Berg Esenwein / Boek Gebonden (paperback)
common.buy 13.04 €
TOP
The Rising of the Shield Hero, Volume 3 Aneko Yusagi / Boek Gebonden (paperback)
common.buy 11.32 €
Crown and the Shield D.S.Pais / Boek Gebonden (paperback)
common.buy 7.38 €
Ghost of the Executed Engineer Loren R. Graham / Boek Gebonden (paperback)
common.buy 40.06 €
Tender is the Night F Scott Fitzgerald / Boek Gebonden (paperback)
common.buy 9.70 €

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