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 GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 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

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Runtime Verification Ezio Bartocci
Libristo kód: 09493683
Kiadó Springer International Publishing AG, augusztus 2015
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Teljes leírás
? points 136 b
19 922 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

Toplistás Hamarosan
Essen und Trinken Anja Boretzki / Játék Játék
common.buy 6 926 Ft
Octomes Pierre Raufast / Könyv Puha kötésű
common.buy 8 966 Ft
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Könyv Puha kötésű
common.buy 19 015 Ft
Solfeggio-Frequenzen Andreas Kühnemann / Könyv Puha kötésű
common.buy 7 602 Ft
101 DIBUJOS ADORABLES DE GATOS MAYO / Könyv Könyv
common.buy 7 791 Ft
Love And Longing Bill Carrothers / Hanganyagok Audio CD
common.buy 7 250 Ft
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Könyv Puha kötésű
common.buy 7 995 Ft
Wilczek Ryrych Katarzyna / Könyv Kemény kötésű
common.buy 1 744 Ft
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Könyv Puha kötésű
common.buy 5 927 Ft
IQ Eylem Öncel / Könyv Puha kötésű
common.buy 4 696 Ft
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Könyv Puha kötésű
common.buy 21 801 Ft
sembrar sopa de verduras Lois Ehlert / Könyv Puha kötésű
common.buy 3 285 Ft
Night Holly Cole / Hanganyagok Audio CD
common.buy 6 764 Ft
Ca rime et ca swing chez Claudine Claudine Grenat / Könyv Puha kötésű
common.buy 4 594 Ft
Private Geschaftsbanken Andreas Menzen / Könyv Puha kötésű
common.buy 3 549 Ft
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Hanganyagok Audio CD
common.buy 4 196 Ft
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Könyv Kemény kötésű
common.buy 70 644 Ft
Blutsbruder Ernst Haffner / Könyv Puha kötésű
common.buy 5 663 Ft
Chen-Stil Taijiquan Urs Krebs / Könyv Puha kötésű
common.buy 6 311 Ft

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in§performance monitoring, hardware design emulation and simulation, etc.

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ő Ezio Bartocci, Rupak Majumdar
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 432
EAN 9783319238197
ISBN 3319238191
Libristo kód 09493683
Kiadó Springer International Publishing AG
Súly 6788
Méretek 155 x 235 x 25

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
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

Framework Houses Bernd Becher / Könyv Kemény kötésű
common.buy 22 023 Ft
Karl Blossfeldt Karl Blossfeldt / Könyv Kemény kötésű
common.buy 10 461 Ft
What Do Fishies Eat? Adam Peterson / Könyv Puha kötésű
common.buy 4 664 Ft
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / E-könyv Adobe ePub DRM
common.buy 13 278 Ft
Modern Bee-Keeping Herbert Mace / Könyv Puha kötésű
common.buy 8 231 Ft
3D Bioprinting Sai Mounika Muramulla / Könyv Puha kötésű
common.buy 24 868 Ft
Action Kadabra Authors and Dragons / Könyv Puha kötésű
common.buy 2 582 Ft
Chester B. Himes Lawrence P. Jackson / Könyv Kemény kötésű
common.buy 10 475 Ft
Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr / Könyv Puha kötésű
common.buy 13 908 Ft
John Paul II or the Saint of the youth Saint John Paul II / Könyv Puha kötésű
common.buy 2 790 Ft
You Can Search Me George V Hobart / Könyv Puha kötésű
common.buy 2 933 Ft
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Könyv Puha kötésű
common.buy 9 832 Ft
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Könyv Puha kötésű
common.buy 2 582 Ft
Toplistás
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Könyv Puha kötésű
common.buy 11 224 Ft
Two Easy Piano Sonatas no. 19 and no. 20 g minor and G major op. 49 no. 1 and no. 2 Ludwig van Beethoven / Könyv Puha kötésű
common.buy 2 878 Ft
The Warning James Patterson / Könyv Puha kötésű
common.buy 8 508 Ft
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Könyv Kemény kötésű
common.buy 19 705 Ft
Dediu Newsletter Vol. 4, Nr. 3 (39), 6 February 2020: World Monthly Report News and Suggestions for Sustainable Peace, Freedom and Prosperity Michael M. Dediu / Könyv Puha kötésű
common.buy 7 426 Ft
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Könyv Puha kötésű
common.buy 14 319 Ft
The Art of Public Speaking J. Berg Esenwein / Könyv Puha kötésű
common.buy 5 001 Ft
Toplistás
The Rising of the Shield Hero, Volume 3 Aneko Yusagi / Könyv Puha kötésű
common.buy 4 432 Ft
Crown and the Shield D.S.Pais / Könyv Puha kötésű
common.buy 2 859 Ft
Ghost of the Executed Engineer Loren R. Graham / Könyv Puha kötésű
common.buy 15 171 Ft
Tender is the Night F Scott Fitzgerald / Könyv Puha kötésű
common.buy 3 845 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