Copied Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
