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

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

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

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

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

Single Product Purchase

$59.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
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

Grundzge des Umweltmanagements

$59.99

Marriage Migration, Intercultural Families and Global Intimacies

$44.99

Market Segmentation

$259.00

Diagnose und Behandlung von Herzrhythmusstrungen Neue Perspektiven

$49.99

Trends and Applications in Software Engineering

$169.99

Tensor Analysis and Elementary Differential Geometry for Physicists and Engineers

$199.99

Reversible Computation

$54.99

Thromboembolism in Orthopedic Surgery

$109.99

Tumoren des Nervensystems

$69.99

Behind the Screen

$109.99

Homer-Probleme

$59.99

Surveying the Skies

$37.99

Clinical Behavior Therapy with Children

$84.99

Regulation of Target Cell Responsiveness

$39.99

Frauen: Arbeit und Individualisierung

$59.99

Machine Learning and Big Data Analytics (Proceedings of International Conference on Machine Learnin

$149.00

Poetry Grades 6-9

$27.00

Computer and Information Science

$84.99

Natural and Constructed Wetlands

$169.99

Global Risk Agility and Decision Making

$64.99

Optimale lineare Regelung

$64.99

Die Inapparente Virusinfektion und ihre Bedeutung fr die Klinik

$59.99

Fungal Pathology

$279.99

Sozialistische und kommunistische Parteien in Westeuropa. Band II: Nordlnder

$59.99

Nanotechnology Theranostics in Livestock Diseases and Management

$189.00

Protocols in Molecular Parasitology

$149.00

Philosophy of Religion A-Z

$54.99

DGOR / GOR

$69.99

Geprfter Betriebswirt (IHK) - Rechtliche Rahmenbedingungen der Unternehmensfhrung

$44.99

Mathematical Modelling of Physical Systems

$139.99

Untersuchungen ber die Reduzierung dynamischer Bahnabweichungen bei numerisch gesteuerten Werkzeugm

$79.99

Cyber-Physical Systems: Industry 4.0 Challenges

$109.99

The New Politics of Numbers

$59.99

Metriken fr das Testreporting

$59.99

The Aegean Sea After the Cold War

$169.99

Handbuch der Public Relations

$129.99

International Trade Theory in a Developing World

$169.00

Reference Frames

$39.99

Analytic Inequalities and Their Applications in PDEs

$149.00

Tumor Targeting in Cancer Therapy

$219.99