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ł.

Sprawdzić stan zamówienia

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

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ł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662853
Price: 219.03 PLN
Availability: InStock
Author: Shaz Qadeer
ISBN: 9783642356315

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Shaz Qadeer

Serdar Tasiran

Język

Angielski

Książka Miękka

Kod Libristo: 01662853

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2013

This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Cały opis

Kod Libristo: 01662853

125 b

219.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Persönlichkeitsschutz durch präventive Kontrolle. Lars Wildhagen

Miękka

338.19 zł

SPA-ARBOL QUE TREPO EL OSO Kathleen Rietz

Miękka

49.08 zł

Spielplatzguide Berlin - Reiseführer für Familien Reisedepeschen

Miękka

91.44 zł

Ankimi i Luciferrit Petraq Risto

Miękka

84.41 zł

Kniha čínského umění léčby Li Wu

Miękka

60.82 zł

Nicht immer denken Norman Schmid

Miękka

46.97 zł

DAEMON; . Daniel Suarez

Miękka

83.71 zł

Poď sa s nami hrať! collegium

Miękka

8.22 zł

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.§The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.