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
9783319661759
Condition
New
Product Description

This book constitutes the proceedings of the 11th International Conference International Conference on Verication and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verication, control, performance and dependability evalu-ation 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 in terrelated. 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 dis-tributed hardware/software systems.

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

Unternehmensplanspiele im industriebetrieblichen Hochschulstudium

$69.99

Mergers & Acquisitions auf dem deutschen Versicherungsmarkt

$79.99

Aktuelle Probleme der Polymer-Physik III

$84.99

Lebenszyklusmanagement in der Automobilindustrie

$59.99

Therapeutic Interventions in the Complement System

$84.99

Ultrasound Diagnosis in Obstetrics and Gynecology

$169.99

National Literacy Campaigns

$169.99

Laser-Beam Interactions with Materials

$109.99

Fuzzy Logic

$179.99

Geschftstreue im Einzelhandel

$49.99

Die Berechnung der Zylinderschalen

$44.99

Atlas of Diffuse Lung Diseases

$109.99

Intelligent Software Methodologies, Tools and Techniques

$39.99

Numerical Methods for Polymeric Systems

$54.99

International Conference on Information Systems and Intelligent Applications

$249.99

Probability in Physics

$64.99

Advanced Research in Applied Artificial Intelligence

$54.99

Die Globalisierungs- und Weltordnungspolitik der Europischen Union

$64.99

Many Nations

$5.24

Populism, Fundamentalism, and Identity

$54.99

Neural Connectomics Challenge

$84.99

Lung Cancer

$54.99

Buchfhrung 2 DATEV-Kontenrahmen 2019

$24.99

Controversies around treatment of the open duct

$39.99

Monitoring Tools for Setting up the Hospital Project

$219.99

Sirenas

$6.71

Emanationsmessungen der Gasteiner Thermalquellen

$54.99

Mouse At Night

$3.71

Flavor of Meat and Meat Products

$79.99

Ideology and Soviet Politics

$54.99

Skin Disorders in Migrants

$69.99

Limits of Life

$84.99

Four Short Courses on Harmonic Analysis

$39.99

Marginality, Migration and Education

$99.99

Vertigo

$54.99

Transcultural Experiments

$54.99

Alfred Weber and the Crisis of Culture, 1890-1933

$54.99

Microstructure and Properties of High-Temperature Superconductors

$169.99

Laser Beam Propagation in the Atmosphere

$39.99

Lattice-Ordered Groups

$54.99