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

19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Runtime Verification Bernd Finkbeiner
Code Libristo: 24640008
Éditeurs Springer Nature Switzerland AG, octobre 2019
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Description détaillée
? points 162 b
66.89 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Cluburlaub Marion Keil / Livre Livre de poche
common.buy 4.63 €
Po prostu magia Rygiel Katarzyna / Livre Livre de poche
common.buy 10.48 €
Školní detektiv Zuzana Pospíšilová / Livre Livre relié
common.buy 7.76 €
Druuna - Tome 02 Paolo Eleuteri Serpieri / Livre Livre relié
common.buy 25.92 €
Quels sports pour votre enfant ? Patrick Seners / Livre Livre de poche
common.buy 19.46 €
STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz) / Jeu/jouet Jouet
common.buy 6.25 €
Devenez un pro de la guitare en 10 minutes par jour Phil Capone / Livre Livre de poche
common.buy 25.02 €
On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary / Livre Livre de poche
common.buy 22.90 €
Top
Zahrada bez zalévání Annette Leppleová / Livre Livre de poche
common.buy 8.87 €
Parola, immagine e cultura editoriale Paolo Rusconi / Livre Livre de poche
common.buy 37.53 €
Nouveauté
La France / Livre Livre
common.buy 36.62 €
CMM 1 GUILLAUME DUFAY (ca. 1400-1474), Opera Omnia, edited by Heinrich Besseler. Vol. III Missarum pars altera Dufay Livre Livre de poche
common.buy 103.72 €
de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J / Livre Livre de poche
common.buy 23.90 €
CE Que C'Est Que L'Amour Regis Jauffret / Livre Livre de poche
common.buy 3.42 €
Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling / Livre Livre de poche
common.buy 13.51 €
Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz / Livre Livre de poche
common.buy 57.71 €
Hombre, naturaleza y sociedad en la obra de Fernando Boytel Jambu Adriana Mercedes Ortiz Blanco / Livre Livre de poche
common.buy 48.83 €
Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller / Livre Livre de poche
common.buy 62.45 €
Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss / Livre Livre de poche
common.buy 52.97 €
Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn / Articles imprimés Partitions
common.buy 147.92 €
Nanobots Capero / Livre Livre de poche
common.buy 19.26 €
Il a Fait L'Idiot La Chapelle Daniel Auteuil / Livre Livre de poche
common.buy 7.96 €
Tansanit: Gedichte Norbert J Rottensteiner / Livre Livre de poche
common.buy 12.30 €
Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki / Livre Livre de poche
common.buy 8.57 €

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter "Assumption-Based Runtime Verification with Partial Observability and Resets" and chapter "NuRV: a nuXmv Extension for Runtime Verification" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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 Bernd Finkbeiner, Leonardo Mariani
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2019
Nombre de pages 413
EAN 9783030320782
Code Libristo 24640008
Éditeurs Springer Nature Switzerland AG
Poids 646
Dimensions 155 x 235 x 23

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
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

Tom Swift & His Photo Telephone - Part 1: Gigantic Print Edition Victor Appleton / Livre Livre de poche
common.buy 16.54 €
Beachcombing for a Shipwrecked God Joe Coomer / Livre Livre de poche
common.buy 15.53 €
E-Publishing and Digital Libraries Ioannis Iglezakis / Livre Livre relié
common.buy 196.46 €
Frequency Changes Matt Kavan / Livre Livre de poche
common.buy 15.53 €
Waterloo Voices 1815 Martyn Beardsley / Livre Livre relié
common.buy 21.18 €
Tolkien in the Twenty-First Century: The Meaning of Middle-Earth Today Groom / Livre Livre relié
common.buy 24.51 €
Gospel of Mark Dale McConachie / Livre audio MP3
common.buy 8.06 €
Diana's Pocket Posh Journal, Mum Andrews McMeel Publishing / Livre Livre de poche
common.buy 7.66 €
Crossing the Tracks Anne Wheelock / Livre Livre relié
common.buy 21.58 €
Controversies in Innocence Cases in America Cooper / Livre Livre de poche
common.buy 80.92 €
Your Turn Julie Lythcott-Haims / Livre Livre de poche
common.buy 17.25 €
Bientôt
Wonderful Wizard of Oz Mary Sebag-Montefiore / Livre Livre relié
common.buy 9.68 €
Tao Te Ching Lao Tzu / Livre Livre de poche
common.buy 12.10 €
Jonah's Luck Fergus Hume / Livre Livre de poche
common.buy 25.02 €
Europe After the Congress of Aix-la-Chapelle: Forming the Sequel to the Congress of Vienna Dominique Georges Frederic Pradt / Livre Livre relié
common.buy 34.40 €
Eat Your Water: The Only Weight Loss Guide You'll Ever Need Michele Martinez / Livre Livre de poche
common.buy 40.86 €
Dolch Sight Words Cursive Handwriting Workbook for Kindergarten: Learning cursive handwriting workbook for kids Silvia Franklin / Livre Livre de poche
common.buy 10.28 €
Bientôt
HSMTMTS: High School Musical: The Encore Edition Junior Novelization Bind-up Disney Books / Livre Livre de poche
common.buy 9.17 €
Grad Night Carver Pike / Livre Livre de poche
common.buy 16.64 €
Private Governance and Public Authority Stefan Renckens / Livre Livre relié
common.buy 113.31 €
Bientôt
Wild Vet Adventures National Geographic Kids / Livre Livre relié
common.buy 16.03 €
Keto Air Fryer Cookbook Fleming Clarissa / Livre Livre de poche
common.buy 17.14 €
Plutarch's Lives of Themistocles, Pericles, Aristides, Alcibiades, and Coriolanus, Demosthenes, and Cicero, Caesar and Antony Plutarch Plutarch / Livre Livre de poche
common.buy 25.92 €
Detection of Malingered Mild Head Injury Todd D. Pizitz / Livre Livre de poche
common.buy 49.84 €

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 ?