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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
371.53 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Cluburlaub Marion Keil / Carte Carte broșată
common.buy 25.43 lei
Nou
La France / Carte Carte
common.buy 192.80 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 546.30 lei
Il a Fait L'Idiot La Chapelle Daniel Auteuil / Carte Carte broșată
common.buy 42.12 lei
Po prostu magia Rygiel Katarzyna / Carte Carte broșată
common.buy 52.75 lei
Top
Druuna - Tome 02 Paolo Eleuteri Serpieri / Carte Copertă tare
common.buy 136.18 lei
Quels sports pour votre enfant ? Patrick Seners / Carte Carte broșată
common.buy 102.50 lei
STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz) / Joc / Jucărie Jucărie
common.buy 34.92 lei
Devenez un pro de la guitare en 10 minutes par jour Phil Capone / Carte Carte broșată
common.buy 132.01 lei
Parola, immagine e cultura editoriale Paolo Rusconi / Carte Carte broșată
common.buy 197.80 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 120.53 lei
Top
Zahrada bez zalévání Annette Leppleová / Carte Carte broșată
common.buy 46.71 lei
de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J / Carte Carte broșată
common.buy 138.58 lei
CE Que C'Est Que L'Amour Regis Jauffret / Carte Carte broșată
common.buy 17.82 lei
Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling / Carte Carte broșată
common.buy 75.59 lei
Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz / Carte Carte broșată
common.buy 321.79 lei
Hombre, naturaleza y sociedad en la obra de Fernando Boytel Jambu Adriana Mercedes Ortiz Blanco / Carte Carte broșată
common.buy 272.26 lei
Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller / Carte Carte broșată
common.buy 347.24 lei
Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss / Carte Carte broșată
common.buy 293.85 lei
Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn / Materiale tipărite Note muzicale
common.buy 778.74 lei
Nanobots Capero / Carte Carte broșată
common.buy 106.56 lei
Školní detektiv Zuzana Pospíšilová / Carte Copertă tare
common.buy 43.68 lei
Tansanit: Gedichte Norbert J Rottensteiner / Carte Carte broșată
common.buy 68.19 lei
Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki / Carte Carte broșată
common.buy 47.12 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

Detection of Malingered Mild Head Injury Todd D. Pizitz / Carte Carte broșată
common.buy 262.56 lei
Beachcombing for a Shipwrecked God Joe Coomer / Carte Carte broșată
common.buy 86.23 lei
E-Publishing and Digital Libraries Ioannis Iglezakis / Carte Copertă tare
common.buy 1 002.41 lei
Frequency Changes Matt Kavan / Carte Carte broșată
common.buy 85.50 lei
Waterloo Voices 1815 Martyn Beardsley / Carte Copertă tare
common.buy 118.97 lei
Tolkien in the Twenty-First Century: The Meaning of Middle-Earth Today Groom / Carte Copertă tare
common.buy 137.22 lei
Gospel of Mark Dale McConachie / Audiobook MP3
common.buy 42.12 lei
Diana's Pocket Posh Journal, Mum Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.95 lei
Crossing the Tracks Anne Wheelock / Carte Copertă tare
common.buy 119.18 lei
Controversies in Innocence Cases in America Cooper / Carte Carte broșată
common.buy 424.71 lei
Your Turn Julie Lythcott-Haims / Carte Carte broșată
common.buy 96.45 lei
Curând
Wonderful Wizard of Oz Mary Sebag-Montefiore / Carte Copertă tare
common.buy 54.74 lei
Tao Te Ching Lao Tzu / Carte Carte broșată
common.buy 67.77 lei
Tom Swift & His Photo Telephone - Part 1: Gigantic Print Edition Victor Appleton / Carte Carte broșată
common.buy 91.65 lei
Jonah's Luck Fergus Hume / Carte Carte broșată
common.buy 139.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 189.98 lei
Eat Your Water: The Only Weight Loss Guide You'll Ever Need Michele Martinez / Carte Carte broșată
common.buy 226.07 lei
Dolch Sight Words Cursive Handwriting Workbook for Kindergarten: Learning cursive handwriting workbook for kids Silvia Franklin / Carte Carte broșată
common.buy 57.13 lei
Curând
HSMTMTS: High School Musical: The Encore Edition Junior Novelization Bind-up Disney Books / Carte Carte broșată
common.buy 51.19 lei
Grad Night Carver Pike / Carte Carte broșată
common.buy 91.86 lei
Private Governance and Public Authority Stefan Renckens / Carte Copertă tare
common.buy 624.30 lei
Curând
Wild Vet Adventures National Geographic Kids / Carte Copertă tare
common.buy 89.88 lei
Keto Air Fryer Cookbook Fleming Clarissa / Carte Carte broșată
common.buy 96.24 lei
Singapore Politics Under the People's Action Party R. S. Milne / Carte Carte broșată
common.buy 412.83 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