Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

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: 59.19 EUR
Availability: InStock
Author: Ayoub Nouri
ISBN: 9783030988494

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 38745147

Casa editrice Springer Nature Switzerland AG, marzo 2022

This book constitutes the proceedings of the 15th International Conference on Verification and Evalu... Descrizione completa

Codice Libristo: 38745147

145 b

59.19 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

11.89 €

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

In brossura

94.19 €

Szláv füveskönyv Zuza Zak

Rigido

19.29 €

CRONICAS ARCANAS 3. LOS ENAMORADOS KRESLEY COLE

Libro

25.09 €

Stoccate. Scritti di lotta e coraggio Berto Ricci

In brossura

24.90 €

EL PORVENIR DE LA SOLIDADRIDAD ROBERT CASTEL

Libro

11.39 €

BTS - Agenda K-pop 2019-2020 collegium

Rigido

8.59 €

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

In brossura

10.69 €

PERDIDO EN BATTLE ROYALE MATHIAS LAVOREL

Rigido

7.39 €

Politique. Tome 3 Aristote

In brossura

29.59 €

Ravel/Gershwin: Piano Concertos D. /Yamada Kozhukhin

CD audio

24.99 €

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.