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 € Kuriér GLS 3.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 € 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.

Lectures on Runtime Verification

Name: Lectures on Runtime Verification
Brand: Springer
SKU: 41045667
Price: 74.58 EUR
Availability: InStock
Author: Ezio Bartocci
ISBN: 9783319756325

Introductory and Advanced Topics

Ezio Bartocci

Ylies Falcone

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41045667

Nakladateľstvo Springer, február 2018

The idea of this volume originated from the need to have a book for students to support their traini... Celý popis

Libristo kód: 41045667

181 b

74.58 €

Skladom Ihneď na stiahnutie

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.