Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verification and Evaluation of Computer and Communication Systems

Name: Verification and Evaluation of Computer and Communication Systems
Brand: Springer Nature Switzerland AG
SKU: 38745147
Price: 53.58 EUR
Availability: InStock
Author: Ayoub Nouri
ISBN: 9783030988494

15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 38745147

Založba Springer Nature Switzerland AG, marec 2022

This book constitutes the proceedings of the 15th International Conference on Verification and Evalu... Celoten opis

Koda Libristo: 38745147

130 b

53.58 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Gare a colori. Hot Wheels. Il mio album pastello Lucia Marenzi

Knjiga

10.39 €

Il était une fois le 6 juin 1944 Bègue

Mehka

11.60 €

Zentralismus und Föderalismus im 19. und 20. Jahrhundert. Oliver Janz

Mehka

85.68 €

Szláv füveskönyv Zuza Zak

Trda

16.44 €

CRONICAS ARCANAS 3. LOS ENAMORADOS KRESLEY COLE

Knjiga

24.41 €

Stoccate. Scritti di lotta e coraggio Berto Ricci

Mehka

23.71 €

EL PORVENIR DE LA SOLIDADRIDAD ROBERT CASTEL

Knjiga

10.99 €

BTS - Agenda K-pop 2019-2020 collegium

Trda

8.47 €

D'abord, ils ont tué mon père Loung Ung

Mehka

10.49 €

PERDIDO EN BATTLE ROYALE MATHIAS LAVOREL

Trda

7.05 €

Politique. Tome 3 Aristote

Mehka

27.75 €

This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.