Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Runtime Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Runtime Verification Ezio Bartocci
Kod Libristo: 09493683
Wydawnictwo Springer International Publishing AG, sierpień 2015
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi... Cały opis
? points 125 b
219.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

TOP Zapowiedź
Essen und Trinken Anja Boretzki / Gra/Zabawka Gra
common.buy 75.68 zł
Octomes Pierre Raufast / Książka Miękka
common.buy 107.10 zł
Isolats bacteriens aerobies provenant d'une infection de la plaie Parajuli Pramila Parajuli / Książka Miękka
common.buy 207.59 zł
Solfeggio-Frequenzen Andreas Kühnemann / Książka Miękka
common.buy 85.02 zł
101 DIBUJOS ADORABLES DE GATOS MAYO / Książka Książka
common.buy 90.94 zł
Love And Longing Bill Carrothers / Audio CD Audio
common.buy 80.10 zł
Kanu Kompass Mecklenburg-Vorpommern Carola Hillmann / Książka Miękka
common.buy 87.22 zł
Wilczek Ryrych Katarzyna / Książka Twarda
common.buy 18.26 zł
50 Piezas f?ciles para piano para principiantes Claudio Lupo / Książka Miękka
common.buy 65.34 zł
IQ Eylem Öncel / Książka Miękka
common.buy 51.69 zł
Handelsmarken und Erosion industrieller Markenartikel Tina Schäfer / Książka Miękka
common.buy 238.10 zł
sembrar sopa de verduras Lois Ehlert / Książka Miękka
common.buy 35.73 zł
Night Holly Cole / Audio CD Audio
common.buy 75.18 zł
Ca rime et ca swing chez Claudine Claudine Grenat / Książka Miękka
common.buy 50.08 zł
Private Geschaftsbanken Andreas Menzen / Książka Miękka
common.buy 38.74 zł
Bekannte Soldatenlieder, 1 Audio-CD. Folge.2 Soldatenchor Ginsberger Heide / Audio CD Audio
common.buy 46.47 zł
Gesammelte Schriften, Band 19 (III/Band 6), Moralphilosophie, Rechtsphilosophie und Religionsphilosophie Immanuel Kant / Książka Twarda
common.buy 778.38 zł
Blutsbruder Ernst Haffner / Książka Miękka
common.buy 57.61 zł
Chen-Stil Taijiquan Urs Krebs / Książka Miękka
common.buy 68.85 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Runtime Verification
Autor Ezio Bartocci, Rupak Majumdar
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 432
EAN 9783319238197
ISBN 3319238191
Kod Libristo 09493683
Wydawnictwo Springer International Publishing AG
Waga 6788
Wymiary 155 x 235 x 25

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Framework Houses Bernd Becher / Książka Twarda
common.buy 253.36 zł
Karl Blossfeldt Karl Blossfeldt / Książka Twarda
common.buy 114.73 zł
What Do Fishies Eat? Adam Peterson / Książka Miękka
common.buy 51.49 zł
Teaching Mathematics in the Visible Learning Classroom, Grades 6-8 John Almarode / E-book Adobe ePub DRM
common.buy 158.60 zł
Modern Bee-Keeping Herbert Mace / Książka Miękka
common.buy 87.93 zł
3D Bioprinting Sai Mounika Muramulla / Książka Miękka
common.buy 271.63 zł
Action Kadabra Authors and Dragons / Książka Miękka
common.buy 28.60 zł
Chester B. Himes Lawrence P. Jackson / Książka Twarda
common.buy 120.75 zł
Birds Of The Southwest Pacific: A Field Guide To The Birds Of The Area Between Samoa, New Caledonia, And Micronesia Ernst Mayr / Książka Miękka
common.buy 154.18 zł
John Paul II or the Saint of the youth Saint John Paul II / Książka Miękka
common.buy 30.61 zł
You Can Search Me George V Hobart / Książka Miękka
common.buy 32.41 zł
The Immortal Lover: The UnHoly Pursuit Saga Prequel A White / Książka Miękka
common.buy 108.41 zł
Preventing Asthma Attacks: A Self-Help Guide Kenneth Wright / Książka Miękka
common.buy 28.60 zł
TOP
The Qur'an with a Phrase-by-Phrase English Translation Ali Quli Qarai / Książka Miękka
common.buy 125.07 zł
Two Easy Piano Sonatas no. 19 and no. 20 g minor and G major op. 49 no. 1 and no. 2 Ludwig van Beethoven / Książka Miękka
common.buy 31.21 zł
The Warning James Patterson / Książka Miękka
common.buy 93.25 zł
The Annals of Kendal: Being a Historical and Descriptive Account of Kendal and the Neighborhood (1861) Cornelius Nicholson / Książka Twarda
common.buy 218.33 zł
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 / Książka Miękka
common.buy 81.80 zł
CALIFORNIA RESIDENTIAL ELECTRICAL LICENSE Exam ExamFOCUS Study Notes & Review Questions Examreview / Książka Miękka
common.buy 158.20 zł
The Art of Public Speaking J. Berg Esenwein / Książka Miękka
common.buy 55.40 zł
TOP
The Rising of the Shield Hero, Volume 3 Aneko Yusagi / Książka Miękka
common.buy 47.97 zł
Crown and the Shield D.S.Pais / Książka Miękka
common.buy 31.21 zł
Ghost of the Executed Engineer Loren R. Graham / Książka Miękka
common.buy 169.94 zł
Tender is the Night F Scott Fitzgerald / Książka Miękka
common.buy 41.35 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo