Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031497360
Condition
New
Product Description

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 1820, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

TYPO3 Online-Marketing-Guide

$69.99

Hiroakira Ono on Substructural Logics

$119.00

Sprache Bildung Geschlecht

$84.99

Planspiele im Internet

$59.99

Human Perception of Visual Information

$179.99

From System Complexity to Emergent Properties

$249.99

Computer Supported Qualitative Research

$139.00

Dependable Computing - EDCC 2021 Workshops

$39.99

Time-Sensitive Remote Sensing

$109.99

The London Lupus Centre, Book of Lupus: A Patients' Guide

$54.99

Toolik Lake

$84.99

Total Quality Management

$59.99

Algebraic Topology. Seattle 1985

$44.99

Geophysical Hazards

$109.99

Die Neue Arbeitsgerichtsbarkeit

$59.99

Narrative Gedankenspiele

$69.99

Rationelle Diagnostik und Therapie bei koronarer Herzerkrankung

$69.95

Jaya: An Advanced Optimization Algorithm and its Engineering Applications

$109.99

ber die Technik der Bluttransfusion beim Pferde unter Bercksichtigung der Vertrglichkeit des Spen

$54.99

Atom and Individual in the Age of Newton

$129.00

Mycorrhizal Biology

$129.00

Der Einsatz von Methoden in Produktentwicklungsprojekten

$99.99

Digital Radiography

$89.00

Corporate Process Architecture

$34.99

Lignocellulosic Fibers

$49.99

Researching Families and Relationships

$54.99

Fluorescent Proteins I

$219.99

Label-Free Biosensor Methods in Drug Discovery

$109.99

Hesitant Fuzzy Sets Theory

$169.99

Globalisierung, Vernetzung und Erwerbsarbeit

$59.99

Die Landschnecken im Pannon und Pont des Wiener Beckens

$59.99

Progress in the Chemistry of Organic Natural Products 115

$379.99

Advances in High Pressure Bioscience and Biotechnology

$84.99

Smart Cities

$89.99

Aspects of Safety Management

$109.99

Violent Trauma, Culture, and Power

$19.99

The Demography of Europe

$169.99

Social Media and Civic Engagement

$37.99

Die erschpfte Globalisierung

$24.99

Turkish Natural Language Processing

$109.99