Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Runtime Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Runtime Verification Bernd Finkbeiner
Codul Libristo: 24640008
Editura Springer Nature Switzerland AG, octombrie 2019
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Descrierea completă
? points 171 b
374.87 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Cluburlaub Marion Keil / Carte Carte broșată
common.buy 26.56 lei
Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling / Carte Carte broșată
common.buy 76.30 lei
Quels sports pour votre enfant ? Patrick Seners / Carte Carte broșată
common.buy 96.84 lei
La France / Carte Carte
common.buy 188.08 lei
Devenez un pro de la guitare en 10 minutes par jour Phil Capone / Carte Carte broșată
common.buy 126.72 lei
On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary / Carte Carte broșată
common.buy 115.29 lei
Po prostu magia Rygiel Katarzyna / Carte Carte broșată
common.buy 52.83 lei
STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz) / Joc / Jucărie Jucărie
common.buy 42.10 lei
Flexibilisierung und Verkurzung der Arbeitszeit Angelika Robé / Carte Carte broșată
common.buy 290.25 lei
कबहूं ना छाड़े खेत Pranjal / Carte Carte broșată
common.buy 76.29 lei
Školní detektiv Zuzana Pospíšilová / Carte Copertă tare
common.buy 44.00 lei
CE Que C'Est Que L'Amour Regis Jauffret / Carte Carte broșată
common.buy 20.34 lei
Bernardo Atxagaren irakurlea Mari Jose Olaziregi / Carte Carte
common.buy 117.00 lei
CMM 1 GUILLAUME DUFAY (ca. 1400-1474), Opera Omnia, edited by Heinrich Besseler. Vol. III Missarum pars altera Dufay Carte Carte broșată
common.buy 565.77 lei
Zahrada bez zalévání Annette Leppleová / Carte Carte broșată
common.buy 45.81 lei
Leftin
Sex. To, o czym dorośli Ci nie mówią Boguś Janiszewski / Carte Copertă tare
common.buy 45.81 lei
Parola, immagine e cultura editoriale Paolo Rusconi / Carte Carte broșată
common.buy 198.11 lei
Opus 77 Alexis Ragougneau / E-book Adobe ePub DRM
common.buy 58.30 lei
Tansanit: Gedichte Norbert J Rottensteiner / Carte Carte broșată
common.buy 68.83 lei
Recht. Rechter. Rechtsextremismus.. Tritt der russische Rechtsextremismus aus seinem subkulturellen Schatten heraus? Doreen Kelimes / Carte Carte broșată
common.buy 170.54 lei
Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn / Materiale tipărite Note muzicale
common.buy 784.75 lei
de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J / Carte Carte broșată
common.buy 123.21 lei
REXX - Einführung und Überblick Marvin Müller / Carte Carte broșată
common.buy 72.58 lei
Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss / Carte Carte broșată
common.buy 296.57 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Runtime Verification
Autor Bernd Finkbeiner, Leonardo Mariani
Limba engleză
Legare Carte - Carte broșată
Data publicării 2019
Număr pagini 413
EAN 9783030320782
Codul Libristo 24640008
Editura Springer Nature Switzerland AG
Greutatea 646
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

SAGE Encyclopedia of Out-of-School Learning Kylie Peppler / Carte Copertă tare
common.buy 2 032.22 lei
Eat Your Water: The Only Weight Loss Guide You'll Ever Need Michele Martinez / Carte Carte broșată
common.buy 228.20 lei
Europe After the Congress of Aix-la-Chapelle: Forming the Sequel to the Congress of Vienna Dominique Georges Frederic Pradt / Carte Copertă tare
common.buy 191.78 lei
War Photographer 1.0 Tom Cockle / Carte Carte broșată
common.buy 84.61 lei
Jonah's Luck Fergus Hume / Carte Carte broșată
common.buy 140.26 lei
Tom Swift & His Photo Telephone - Part 1: Gigantic Print Edition Victor Appleton / Carte Carte broșată
common.buy 92.51 lei
A Woman of Genius Mary Austin / Carte Carte broșată
common.buy 67.67 lei
Dolch Sight Words Cursive Handwriting Workbook for Kindergarten: Learning cursive handwriting workbook for kids Silvia Franklin / Carte Carte broșată
common.buy 57.67 lei
Controversies in Innocence Cases in America Cooper / Carte Carte broșată
common.buy 451.57 lei
Crossing the Tracks Anne Wheelock / Carte Copertă tare
common.buy 123.61 lei
Diana's Pocket Posh Journal, Mum Andrews McMeel Publishing / Carte Carte broșată
common.buy 43.40 lei
Evidence and Agency Berislav Marusic / Carte Copertă tare
common.buy 646.59 lei
Waterloo Voices 1815 Martyn Beardsley / Carte Copertă tare
common.buy 177.56 lei
Frequency Changes Matt Kavan / Carte Carte broșată
common.buy 74.29 lei
Tao Te Ching Lao Tzu / Carte Carte broșată
common.buy 68.37 lei
AQA GCSE Physical Sciences for Combined Science: Synergy 9-1 Student Book Katy Bloom / Carte Carte broșată
common.buy 181.07 lei
Curând
HSMTMTS: High School Musical: The Encore Edition Junior Novelization Bind-up Disney Books / Carte Carte broșată
common.buy 51.53 lei
Grad Night Carver Pike / Carte Carte broșată
common.buy 92.73 lei
Private Governance and Public Authority Stefan Renckens / Carte Copertă tare
common.buy 630.24 lei
Curând
Wild Vet Adventures National Geographic Kids / Carte Copertă tare
common.buy 90.53 lei
Keto Air Fryer Cookbook Fleming Clarissa / Carte Carte broșată
common.buy 97.14 lei
Pennsylvania and the Federal Constitution, 1787-1788 John Bach McMaster / Carte Carte broșată
common.buy 202.09 lei
Plutarch's Lives of Themistocles, Pericles, Aristides, Alcibiades, and Coriolanus, Demosthenes, and Cicero, Caesar and Antony Plutarch Plutarch / Carte Carte broșată
common.buy 144.41 lei
Wonderful Wizard of Oz Mary Sebag-Montefiore / Carte Copertă tare
common.buy 55.04 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?