Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661050
Price: 51.72 EUR
Availability: InStock
Author: Koushik Sen
ISBN: 9783642298592

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Koushik Sen

Sarfaz Khurshid

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01661050

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2012

This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa... Celý popis

Libristo kód: 01661050

125 b

51.72 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Výklad reliéfů pekařství Poilâne Roman Kořan

Kniha

6.27 €

Іслам Bah Slama

Adobe ePub DRM

7.68 €

Betrachtungen über die Grundlagen der Philosophie René Descartes

Pevná

7.89 €

Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev

Brožovaná

48.99 €

vaso di Pandora. Le donne nel mito greco Natalie Haynes

Brožovaná

21.66 €

Ertrinken ist todlich! Roman Kedor

Adobe ePub DRM

1.10 €

Wilde Jahre Astrid Ruppert

Adobe ePub DRM

11.03 €

Živý film Marek Jícha

List

15.58 €

LA NIEVE MARCOS GIL

Pevná

15.58 €

Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda

Brožovaná

41.80 €

LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro

Brožovaná

20.64 €

A titkárnő Renée Knight

Pevná

9.81 €

El secreto de mi deseo Maribel Pont Pont

Brožovaná

11.53 €

UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder

Brožovaná

11.73 €

Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram

Brožovaná

58.81 €

Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne

Brožovaná

60.03 €

Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer

Brožovaná

11.94 €

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.§The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.