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 €
phone Contact phoneComment faire ses achats

Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Runtime Verification Shaz Qadeer
Code Libristo: 01662853
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2013
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Politique de retour sous 30 jours

Les clients ont également acheté

Persönlichkeitsschutz durch präventive Kontrolle. Lars Wildhagen / Livre Livre de poche
common.buy 82.79 €
SPA-ARBOL QUE TREPO EL OSO Kathleen Rietz / Livre Livre de poche
common.buy 12.09 €
Calidad microbiana y fisicoquímica de las marcas de yogur en Kano,Nigeria Abdullahi Kawo / Livre Livre de poche
common.buy 22.49 €
Spielplatzguide Berlin - Reiseführer für Familien Reisedepeschen / Livre Livre de poche
common.buy 24.00 €
Kniha čínského umění léčby Li Wu / Livre Livre de poche
common.buy 14.99 €
Ankimi i Luciferrit Petraq Risto / Livre Livre de poche
common.buy 20.59 €
Nicht immer denken Norman Schmid / Livre Livre de poche
common.buy 9.69 €
DAEMON; . Daniel Suarez / Livre Livre de poche
common.buy 22.00 €
Poď sa s nami hrať! collegium / Livre Livre de poche
common.buy 2.09 €

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.§The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

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 Shaz Qadeer, Serdar Tasiran
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 322
EAN 9783642356315
ISBN 3642356311
Code Libristo 01662853
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 516
Dimensions 155 x 235 x 18

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
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

Georgia Tax Lien & Deeds Real Estate Investing & Financing Book Brian Mahoney / Livre Livre de poche
common.buy 11.59 €
Victory through Harmony Christina L. Baade / Livre Livre de poche
common.buy 43.09 €
Do You Dream of Terra-Two? Temi Oh / Livre Livre de poche
common.buy 14.29 €
Pipe Dreams Peterson / Livre Livre relié
common.buy 157.39 €
Why are Most Buildings Rectangular? Philip Steadman / Livre Livre de poche
common.buy 72.69 €
Invisible J. R. Solonche / Livre Livre de poche
common.buy 13.49 €
Practitioner's Guide to Health Informatics Mark L. Braunstein / Livre Livre de poche
common.buy 52.69 €
Nighttime Breastfeeding Cec Tomori / Livre Livre de poche
common.buy 40.69 €
White Swan Express Jean Davies Okimoto / Livre Livre de poche
common.buy 13.19 €
Preparing for a Healthy Birth Sylvie Donna / Livre Livre de poche
common.buy 28.19 €
Punishment Club Jacqueline Masterson / Livre Livre de poche
common.buy 27.69 €
Practice Makes Perfect: Spanish Irregular Verbs Up Close Eric W. Vogt / Livre Livre de poche
common.buy 17.99 €
Extended Family of Jesus M D Rev David P Friedline / Livre Livre de poche
common.buy 40.69 €
Bientôt
I-writing Karen Surman Paley / Livre Livre relié
common.buy 58.29 €
Fantasy Fashion & Affection Gertzman / Livre Livre de poche
common.buy 13.69 €
Intonation Systems Daniel HirstAlbert Di Cristo / Livre Livre de poche
common.buy 86.69 €
Application of Particle and Laser Beams in Materials Technology P. Misaelides / Livre Livre relié
common.buy 355.79 €
Lust DAHL ROALD / Livre Livre de poche
common.buy 12.49 €

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 ?