A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Runtime Verification

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Runtime Verification Bernd Finkbeiner
Libristo kód: 24640008
Kiadó Springer Nature Switzerland AG, október 2019
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Teljes leírás
? points 176 b
25 871 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Cluburlaub Marion Keil / Könyv Puha kötésű
common.buy 1 763 Ft
Új
La France / Könyv Könyv
common.buy 13 031 Ft
CMM 1 GUILLAUME DUFAY (ca. 1400-1474), Opera Omnia, edited by Heinrich Besseler. Vol. III Missarum pars altera Dufay Könyv Puha kötésű
common.buy 37 828 Ft
Il a Fait L'Idiot La Chapelle Daniel Auteuil / Könyv Puha kötésű
common.buy 2 846 Ft
Po prostu magia Rygiel Katarzyna / Könyv Puha kötésű
common.buy 3 568 Ft
Toplistás
Druuna - Tome 02 Paolo Eleuteri Serpieri / Könyv Kemény kötésű
common.buy 9 199 Ft
Quels sports pour votre enfant ? Patrick Seners / Könyv Puha kötésű
common.buy 6 927 Ft
STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz) / Játék Játék
common.buy 2 318 Ft
Devenez un pro de la guitare en 10 minutes par jour Phil Capone / Könyv Puha kötésű
common.buy 8 921 Ft
Parola, immagine e cultura editoriale Paolo Rusconi / Könyv Puha kötésű
common.buy 13 368 Ft
On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary / Könyv Puha kötésű
common.buy 8 144 Ft
Toplistás
Zahrada bez zalévání Annette Leppleová / Könyv Puha kötésű
common.buy 3 156 Ft
de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J / Könyv Puha kötésű
common.buy 9 611 Ft
CE Que C'Est Que L'Amour Regis Jauffret / Könyv Puha kötésű
common.buy 1 203 Ft
Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling / Könyv Puha kötésű
common.buy 5 266 Ft
Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz / Könyv Puha kötésű
common.buy 22 465 Ft
Hombre, naturaleza y sociedad en la obra de Fernando Boytel Jambu Adriana Mercedes Ortiz Blanco / Könyv Puha kötésű
common.buy 19 018 Ft
Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller / Könyv Puha kötésű
common.buy 24 182 Ft
Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss / Könyv Puha kötésű
common.buy 20 471 Ft
Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn / Nyomtatványok Kotta
common.buy 52 617 Ft
Nanobots Capero / Könyv Puha kötésű
common.buy 7 427 Ft
Školní detektiv Zuzana Pospíšilová / Könyv Kemény kötésű
common.buy 2 878 Ft
Tansanit: Gedichte Norbert J Rottensteiner / Könyv Puha kötésű
common.buy 4 738 Ft
Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki / Könyv Puha kötésű
common.buy 3 285 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Runtime Verification
Szerző Bernd Finkbeiner, Leonardo Mariani
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2019
Oldalszám 413
EAN 9783030320782
Libristo kód 24640008
Kiadó Springer Nature Switzerland AG
Súly 646
Méretek 155 x 235 x 23

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Detection of Malingered Mild Head Injury Todd D. Pizitz / Könyv Puha kötésű
common.buy 17 741 Ft
Beachcombing for a Shipwrecked God Joe Coomer / Könyv Puha kötésű
common.buy 6 016 Ft
E-Publishing and Digital Libraries Ioannis Iglezakis / Könyv Kemény kötésű
common.buy 71 121 Ft
Frequency Changes Matt Kavan / Könyv Puha kötésű
common.buy 5 941 Ft
Waterloo Voices 1815 Martyn Beardsley / Könyv Kemény kötésű
common.buy 8 042 Ft
Tolkien in the Twenty-First Century: The Meaning of Middle-Earth Today Groom / Könyv Kemény kötésű
common.buy 9 611 Ft
Gospel of Mark Dale McConachie / Hangoskönyv MP3
common.buy 2 846 Ft
Diana's Pocket Posh Journal, Mum Andrews McMeel Publishing / Könyv Puha kötésű
common.buy 3 008 Ft
Crossing the Tracks Anne Wheelock / Könyv Kemény kötésű
common.buy 8 084 Ft
Controversies in Innocence Cases in America Cooper / Könyv Puha kötésű
common.buy 28 703 Ft
Your Turn Julie Lythcott-Haims / Könyv Puha kötésű
common.buy 6 737 Ft
Hamarosan
Wonderful Wizard of Oz Mary Sebag-Montefiore / Könyv Kemény kötésű
common.buy 3 697 Ft
Tao Te Ching Lao Tzu / Könyv Puha kötésű
common.buy 4 738 Ft
Tom Swift & His Photo Telephone - Part 1: Gigantic Print Edition Victor Appleton / Könyv Puha kötésű
common.buy 6 381 Ft
Jonah's Luck Fergus Hume / Könyv Puha kötésű
common.buy 9 713 Ft
Europe After the Congress of Aix-la-Chapelle: Forming the Sequel to the Congress of Vienna Dominique Georges Frederic Pradt / Könyv Kemény kötésű
common.buy 13 192 Ft
Eat Your Water: The Only Weight Loss Guide You'll Ever Need Michele Martinez / Könyv Puha kötésű
common.buy 15 728 Ft
Dolch Sight Words Cursive Handwriting Workbook for Kindergarten: Learning cursive handwriting workbook for kids Silvia Franklin / Könyv Puha kötésű
common.buy 3 961 Ft
Hamarosan
HSMTMTS: High School Musical: The Encore Edition Junior Novelization Bind-up Disney Books / Könyv Puha kötésű
common.buy 3 461 Ft
Grad Night Carver Pike / Könyv Puha kötésű
common.buy 6 400 Ft
Private Governance and Public Authority Stefan Renckens / Könyv Kemény kötésű
common.buy 43 302 Ft
Hamarosan
Wild Vet Adventures National Geographic Kids / Könyv Kemény kötésű
common.buy 6 076 Ft
Keto Air Fryer Cookbook Fleming Clarissa / Könyv Puha kötésű
common.buy 6 719 Ft
Singapore Politics Under the People's Action Party R. S. Milne / Könyv Puha kötésű
common.buy 28 597 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?