Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 46666396
Price: 56.68 EUR
Availability: InStock
Author: Erika Ábrahám
ISBN: 9783031742330

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Erika Ábrahám

Houssam Abbas

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 46666396

Nakladnici Springer, Berlin, studeni 2023

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Cijeli opis

Libristo kod: 46666396

137 b

56.68 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Muertes por desesperación y el futuro del capitalismo ANNE CASE Y ANGUS DEATON

Meki uvez

27.48 €

Francis Bacon. I disegni italiani. Un punto fermo M. Letizia Paoletti Knjiga

Meki uvez

16.46 €

Tajemství černého vrchu Dana Gabriela Vočadlová

Tvrdi uvez

8.28 €

Dynamit Hans Heidsieck

Adobe ePub DRM

11.41 €

Verlässliche Wissenschaft Milena Valeva

Tvrdi uvez

43.04 €

Emotionsbezogene Psychotherapie Class-Hinrich Lammers

Tvrdi uvez

47.18 €

SM GIRL FRIENDS Nº 01 2,95 MORINAGA

Meki uvez

5.04 €

Las Ratitas 3. La misteriosa màgia de les Súper Ratitas LAS RATITAS

Tvrdi uvez

16.76 €

Voyage En Suisse, 1817-1819. 2e Edition. Tome 2 Louis Simond

Meki uvez

38.09 €

Jak to žije Kamarádi Samantha Meredith

Leporelo

4.34 €

Elasticidad y resistencia de materiales MANUEL SOLAGUREN-BEASCOA FERNANDEZ

Meki uvez

54.96 €

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.