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 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.23 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Essen und Trinken Anja Boretzki / Spel/speelgoed Spel
common.buy 17.74 €
Octomes Pierre Raufast / Boek Paperback
common.buy 23.85 €
Love And Longing Bill Carrothers / Audio Audio cd
common.buy 13.63 €
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Boek Paperback
common.buy 48.52 €
Solfeggio-Frequenzen Andreas Kühnemann / Boek Paperback
common.buy 19.84 €
101 DIBUJOS ADORABLES DE GATOS MAYO / Boek Boek
common.buy 16.63 €
Integrierte und nachhaltige agrarökologische Produktion José Lucivaldo / Boek Paperback
common.buy 35.38 €
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Boek Paperback
common.buy 20.44 €
Wilczek Ryrych Katarzyna / Boek Gebonden
common.buy 4.70 €
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Boek Paperback
common.buy 15.23 €
IQ Eylem Öncel / Boek Paperback
common.buy 12.03 €
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Boek Paperback
common.buy 55.66 €
sembrar sopa de verduras Lois Ehlert / Boek Paperback
common.buy 8.32 €
Night Holly Cole / Audio Audio cd
common.buy 17.54 €
Ca rime et ca swing chez Claudine Claudine Grenat / Boek Paperback
common.buy 11.62 €
Private Geschaftsbanken Andreas Menzen / Boek Paperback
common.buy 9.02 €
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Audio Audio cd
common.buy 10.82 €
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Boek Gebonden
common.buy 181.97 €
Blutsbruder Ernst Haffner / Boek Paperback
common.buy 13.43 €
Chen-Stil Taijiquan Urs Krebs / Boek Paperback
common.buy 16.03 €

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 - 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
common.buy 64.66 €
Karl Blossfeldt Karl Blossfeldt / Boek Gebonden
common.buy 27.26 €
What Do Fishies Eat? Adam Peterson / Boek Paperback
common.buy 12.03 €
Npte Secrets Study Guide - Npte Exam Review for the National Physical Therapy Examination: [2nd Edition] / Boek Paperback
common.buy 106.92 €
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Boek Paperback
common.buy 30.07 €
Modern Bee-Keeping Herbert Mace / Boek Paperback
common.buy 22.75 €
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / E-book Adobe ePub DRM
common.buy 37.30 €
Chester B. Himes Lawrence P. Jackson / Boek Gebonden
common.buy 30.67 €
Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr / Boek Paperback
common.buy 36.10 €
John Paul II or the Saint of the youth Saint John Paul II / Boek Paperback
common.buy 7.21 €
Navajo-English Dictionary Leon Wall / Boek Paperback
common.buy 9.32 €
You Can Search Me George V Hobart / Boek Paperback
common.buy 7.61 €
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Boek Paperback
common.buy 25.37 €
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Boek Paperback
common.buy 6.71 €
The Rising of the Shield Hero, Volume 3 Aneko Yusagi / Boek Paperback
common.buy 11.52 €
3D Bioprinting Sai Mounika Muramulla / Boek Paperback
common.buy 63.56 €
Action Kadabra Authors and Dragons / Boek Paperback
common.buy 6.71 €
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 Paperback
common.buy 7.21 €
The Warning James Patterson / Boek Paperback
common.buy 22.35 €
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 Paperback
common.buy 19.15 €
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Boek Paperback
common.buy 36.99 €
The Art of Public Speaking J. Berg Esenwein / Boek Paperback
common.buy 12.93 €
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Boek Gebonden
common.buy 51.05 €
The Vanished Ones Lucas / Boek Gebonden
common.buy 14.73 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?