Code: 43360596

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer, Berlin
SKU: 43360596
Price: 71.82 EUR
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031353543

by Marieke Huisman, António Ravara

Language: English
Binding: Paperback
Number of pages: 240
Publisher: Springer, Berlin, 2023
More about this

71.82 €

RRP: 77.88 €

You save 6.06 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Szülősebek
9.56 € -9 %
Buy
Dbt Skills-Building Card Deck for Clients and Therapists: 101 More Mindful Practices to Manage Distress, Regulate Emotions, and Build Better Relations
16.31 € -27 %
Buy
Lehrbuch der lateinischen Syntax und Semantik
93.78 €
Buy
Sroczka kaszkę warzyła. Rymowanki maluszka
1.40 € -37 %
Buy
Cradle of Fire
17.72 € -10 %
Buy
Monet and the Impresionist Cityscape
24.97 € -25 %
Buy
Behelf zum Studium der Militar-Geographie
15.20 € -10 %
Buy
The Merry Adventures of Robin Hood
9.76 € -6 %
Buy
Curriculum as Spaces
146.57 € -9 %
Buy
100 Hidden Truths of Parenting
7.24 € -6 %
Buy
Rumi et Shams
27.90 €
Buy
Neue Lesetandems und chorisches Lesen 4. Klasse
13.39 € -5 %
Buy
Beitrage Zur Geschichte Des Deutschen Buchhandels
25.58 € -24 %
Buy
La lógica del pensamiento vivo : el lenguaje en la filosofía del romanticismo alemán
16.61 € -9 %
Buy
US-amerikanisches Kapitalmarktrecht und Internet
121.18 € -4 %
Buy
Recursions for Convolutions and Compound Distributions with Insurance Applications
24.57 €
Buy
Test Results for Mobile Device Acquisition Tool: Micro Systemation .XRY 3.6
13.99 € -7 %
Buy
Model-Oriented Design of Experiments
112.72 €
Buy
VOCALISE CLARINETTE
11.47 €
Buy
Claire of the Sea Light
12.68 € -25 %
Buy
Philosophies et sagesses indiennes - Histoire comparée des quêtes de libération du Moi
26.48 €
Buy
Salt Stress, Microbes, and Plant Interactions: Mechanisms and Molecular Approaches
153.72 € -7 %
Buy
Propagation of the Gospel in the East
17.22 € -2 %
Buy
Repowering Communities
58.62 €
Buy
L'archipel du renoncement
27.90 €
Buy
Le Jour où j'ai perdu mon temps
17.32 €
Buy
5
14.70 € -25 %
Buy
Sur Les Rentiers Laotiens
12.08 € -52 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Techniques for Distributed Objects, Components, and Systems

Book details
Synopsis
Trending among others

You get 174 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

71.82 €

Full title: Formal Techniques for Distributed Objects, Components, and Systems
Subtitle: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Author: Marieke Huisman, António Ravara
Language: English
Binding: Paperback
Number of pages: 240
EAN: 9783031353543
ID: 43360596
Publisher: Springer, Berlin
Weight: 340 g
Dimensions: 235 × 155 mm
Date of publishing: 31. August 2023