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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

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 141 b
58.57 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Octomes Pierre Raufast / Livre Livre de poche
common.buy 25.33 €
Top
Essen und Trinken Anja Boretzki / Jeu/jouet Jeu
common.buy 22.29 €
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Livre Livre de poche
common.buy 55.93 €
Solfeggio-Frequenzen Andreas Kühnemann / Livre Livre de poche
common.buy 20.06 €
101 DIBUJOS ADORABLES DE GATOS MAYO / Livre Livre
common.buy 17.02 €
Love And Longing Bill Carrothers / Audio CD Audio
common.buy 18.94 €
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Livre Livre de poche
common.buy 23.70 €
Wilczek Ryrych Katarzyna / Livre Livre relié
common.buy 4.96 €
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Livre Livre de poche
common.buy 15.39 €
IQ Eylem Öncel / Livre Livre de poche
common.buy 12.25 €
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Livre Livre de poche
common.buy 56.24 €
sembrar sopa de verduras Lois Ehlert / Livre Livre de poche
common.buy 8.40 €
Night Holly Cole / Audio CD Audio
common.buy 17.73 €
Ca rime et ca swing chez Claudine Claudine Grenat / Livre Livre de poche
common.buy 17.42 €
Private Geschaftsbanken Andreas Menzen / Livre Livre de poche
common.buy 9.11 €
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Audio CD Audio
common.buy 10.94 €
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Livre Livre relié
common.buy 222.34 €
Blutsbruder Ernst Haffner / Livre Livre de poche
common.buy 13.57 €
Chen-Stil Taijiquan Urs Krebs / Livre Livre de poche
common.buy 25.22 €

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 pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos 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 59.89 €
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Livre Livre de poche
common.buy 6.78 €
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / Livre numérique Adobe ePub DRM
common.buy 37.49 €
Modern Bee-Keeping Herbert Mace / Livre Livre de poche
common.buy 23.20 €
3D Bioprinting Sai Mounika Muramulla / Livre Livre de poche
common.buy 72.96 €
Action Kadabra Authors and Dragons / Livre Livre de poche
common.buy 6.78 €
Chester B. Himes Lawrence P. Jackson / Livre Livre relié
common.buy 28.57 €
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 36.47 €
John Paul II or the Saint of the youth Saint John Paul II / Livre Livre de poche
common.buy 7.29 €
Navajo-English Dictionary Leon Wall / Livre Livre de poche
common.buy 9.41 €
You Can Search Me George V Hobart / Livre Livre de poche
common.buy 7.69 €
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Livre Livre de poche
common.buy 25.63 €
Top
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Livre Livre de poche
common.buy 29.58 €
What Do Fishies Eat? Adam Peterson / Livre Livre de poche
common.buy 12.15 €
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.39 €
The Warning James Patterson / Livre Livre de poche
common.buy 21.98 €
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Livre Livre relié
common.buy 51.57 €
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 19.35 €
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Livre Livre de poche
common.buy 37.39 €
The Art of Public Speaking J. Berg Esenwein / Livre Livre de poche
common.buy 13.06 €
The Vanished Ones Lucas / Livre Livre relié
common.buy 13.98 €
Crown and the Shield D.S.Pais / Livre Livre de poche
common.buy 7.39 €
Ghost of the Executed Engineer Loren R. Graham / Livre Livre de poche
common.buy 40.12 €
Tender is the Night F Scott Fitzgerald / Livre Livre de poche
common.buy 9.72 €

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 ?