Verification and Evaluation of Computer and Communication Systems

Name: Verification and Evaluation of Computer and Communication Systems
Brand: Springer Nature
SKU: 9783030659547
Availability: InStock

Best Price (Coupon Required):
Buy Verification and Evaluation of Computer and Communication Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99

BEST PRICE

Single Product Purchase

$36.00

@ Link.springer.com with extra coupon

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$39.99	$39.99		10% OFF This deals requires coupon	$36.00		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783030659547

Condition

New

Product Description

This book constitutes the proceedings of the 14th International Conference on Verication and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xian, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verication, 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 verication and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.

Available Colors

N/A

Available Sizes

N/A

Reviews

0 reviews

5 stars

4 stars

3 stars

2 stars

1 star

Questions & Answers

Similar Products

Einfhrung in die Cross-Impact-Bilanzanalyse (CIB)

$74.99

Weiblichkeit, Mnnlichkeit und Gesundheit

$59.99

Text Linguistics and Classical Studies

$99.99

Man-Machine Interactions 2

$259.00

Handbook of Environmental Psychology and Quality of Life Research

$329.99

Law and Reflexive Politics

$219.99

Efficient Query Processing in Geographic Information Systems

$39.99

The Inflation Mechanism and Expectations

$89.00

ALTERNATIVE FORMS OF KNOWING (IN) MATHEMATICS

$49.99

Carotenoids Volume 5: Nutrition and Health

$129.00

Liposomes

$169.99

The Princess and the Pea

$3.71

Little Chipmunk's Wiggly, Wobbly Tooth

$3.00

Ethics, The Social Sciences, and Policy Analysis

$39.99

Managing and Mining Uncertain Data

$84.99

The Mathematics and Mechanics of Biological Growth

$159.00

Applications of Nanomaterials in Sensors and Diagnostics

$169.00

Reporting Human Rights, Conflicts, and Peacebuilding

$129.99

Direct and Eddy Simulation XII

$169.99

Strategische Kommunikation fr LOHAS

$49.99

Problems in Economic Development

$129.00

Ambit Stochastics

$109.00

Discourses on Sustainability

$99.00

Dokumentenmanagementsysteme

$79.99

The Book of Celtic Myths - From the Mystic Might of the Celtic Warriors to the Magic of the Fey Folk, the Storied History and Folklore of Ireland, Sco

$16.99