Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

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

Language

English

Book Paperback

Libristo code: 38745147

Publishers Springer Nature Switzerland AG, March 2022

This book constitutes the proceedings of the 15th International Conference on Verification and Evalu... Full description

Libristo code: 38745147

149 b

22 401 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Book

4 205 Ft

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

Paperback

4 536 Ft

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

Paperback

34 608 Ft

Szláv füveskönyv Zuza Zak

Hardback

7 394 Ft

CRONICAS ARCANAS 3. LOS ENAMORADOS KRESLEY COLE

Book

9 607 Ft

Stoccate. Scritti di lotta e coraggio Berto Ricci

Paperback

9 953 Ft

EL PORVENIR DE LA SOLIDADRIDAD ROBERT CASTEL

Book

4 370 Ft

BTS - Agenda K-pop 2019-2020 collegium

Hardback

3 258 Ft

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

Paperback

4 067 Ft

PERDIDO EN BATTLE ROYALE MATHIAS LAVOREL

Hardback

2 836 Ft

Politique. Tome 3 Aristote

Paperback

11 397 Ft

Ravel/Gershwin: Piano Concertos D. /Yamada Kozhukhin

Audio CD

9 427 Ft

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.