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

Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662853
Price: 48.29 EUR
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

118 b

48.29 € včetně DPH

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

Nawet do 30 dni na zwrot

Klienci kupili także

Persönlichkeitsschutz durch präventive Kontrolle. Lars Wildhagen

Miękka

79.90 €

SPA-ARBOL QUE TREPO EL OSO Kathleen Rietz

Miękka

10.19 €

Calidad microbiana y fisicoquímica de las marcas de yogur en Kano,Nigeria Abdullahi Kawo

Miękka

18.79 €

Süd- und Zentralarabien 2022/2023 MICHEL-Redaktion

Twarda

98.00 €

Игра в невидимку Роберт Лоуренс Стайн

Twarda

11.29 €

biologia rivelata. Tre percorsi riuniti dalla biologia scientifica della logica per la vita verso l’alba di un nuovo mondo... in connessione di cuore Claudio Trupiano

Twarda

25.99 €

Spielplatzguide Berlin - Reiseführer für Familien Reisedepeschen

Miękka

24.00 €

Einfach zum Studium! Franziska Bewer

Miękka

28.50 €

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

Miękka

11.99 €

Ankimi i Luciferrit Petraq Risto

Miękka

17.79 €

Ich bin fit für Klasse 5! Mein Deutsch-Lernheft - Lösungsheft Sabine Willmeroth

Miękka

5.79 €

Literatur zur deutschsprachigen Presse, Band 9, 89199-98384. Lander ausserhalb des deutschen Sprachraums. Afrika - Amerika - Asien - Australien - Euro Gert Hagelweide

Twarda

260.00 €

Nicht immer denken Norman Schmid

Miękka

9.60 €

DAEMON; . Daniel Suarez

Miękka

22.00 €

Poď sa s nami hrať! collegium

Miękka

1.79 €

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.