Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Runtime Verification

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Runtime Verification Ezio Bartocci
Code Libristo: 09493683
Éditeurs Springer International Publishing AG, août 2015
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Solfeggio-Frequenzen Andreas Kühnemann / Livre Livre de poche
common.buy 20.69 €
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Livre Livre de poche
common.buy 51.19 €
101 DIBUJOS ADORABLES DE GATOS MAYO / Livre Livre
common.buy 13.59 €
Essen und Trinken Anja Boretzki / Jeu/jouet Jeu
common.buy 19.99 €
Octomes Pierre Raufast / Livre Livre de poche
common.buy 25.89 €
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Livre Livre de poche
common.buy 22.90 €
Wilczek Ryrych Katarzyna / Livre Livre relié
common.buy 5.09 €
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Livre Livre de poche
common.buy 15.99 €
Love And Longing Bill Carrothers / Audio CD Audio
common.buy 19.59 €
IQ Eylem Öncel / Livre Livre de poche
common.buy 12.69 €
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Livre Livre de poche
common.buy 63.00 €
sembrar sopa de verduras Lois Ehlert / Livre Livre de poche
common.buy 8.89 €
Night Holly Cole / Audio CD Audio
common.buy 18.29 €
Ca rime et ca swing chez Claudine Claudine Grenat / Livre Livre de poche
common.buy 12.39 €
Private Geschaftsbanken Andreas Menzen / Livre Livre de poche
common.buy 9.99 €
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Audio CD Audio
common.buy 11.39 €
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Livre Livre relié
common.buy 190.99 €
Blutsbruder Ernst Haffner / Livre Livre de poche
common.buy 16.00 €
Chen-Stil Taijiquan Urs Krebs / Livre Livre de poche
common.buy 18.00 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Runtime Verification
Auteur Ezio Bartocci, Rupak Majumdar
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 432
EAN 9783319238197
ISBN 3319238191
Code Libristo 09493683
Éditeurs Springer International Publishing AG
Poids 6788
Dimensions 155 x 235 x 25

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Framework Houses Bernd Becher / Livre Livre relié
common.buy 62.79 €
Karl Blossfeldt Karl Blossfeldt / Livre Livre relié
common.buy 28.69 €
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Livre Livre de poche
common.buy 6.99 €
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Livre Livre de poche
common.buy 30.49 €
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / Livre numérique Adobe ePub DRM
common.buy 39.09 €
Modern Bee-Keeping Herbert Mace / Livre Livre de poche
common.buy 24.09 €
3D Bioprinting Sai Mounika Muramulla / Livre Livre de poche
common.buy 66.99 €
Action Kadabra Authors and Dragons / Livre Livre de poche
common.buy 6.99 €
Chester B. Himes Lawrence P. Jackson / Livre Livre relié
common.buy 29.79 €
Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr / Livre Livre de poche
common.buy 37.69 €
John Paul II or the Saint of the youth Saint John Paul II / Livre Livre de poche
common.buy 7.49 €
Navajo-English Dictionary Leon Wall / Livre Livre de poche
common.buy 9.79 €
You Can Search Me George V Hobart / Livre Livre de poche
common.buy 7.99 €
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Livre Livre de poche
common.buy 26.59 €
Top
The Rising of the Shield Hero, Volume 3 Aneko Yusagi / Livre Livre de poche
common.buy 11.89 €
What Do Fishies Eat? Adam Peterson / Livre Livre de poche
common.buy 12.59 €
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Livre Livre relié
common.buy 53.39 €
Two Easy Piano Sonatas no. 19 and no. 20 g minor and G major op. 49 no. 1 and no. 2 Ludwig van Beethoven / Livre Livre de poche
common.buy 7.29 €
The Warning James Patterson / Livre Livre de poche
common.buy 22.99 €
The Art of Public Speaking J. Berg Esenwein / Livre Livre de poche
common.buy 13.59 €
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 / Livre Livre de poche
common.buy 20.09 €
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Livre Livre de poche
common.buy 38.79 €
I Cry Katie Marsico / Livre Livre de poche
common.buy 12.49 €
Stardust Family Airco Airco / Livre Livre de poche
common.buy 24.29 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?