Books
|
Buy Now
Formal Techniques for Distributed Objects, Components, and Systems - 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 (1st ed. 2023)
Loot Price: R2,053
Discovery Miles 20 530
|
|
Formal Techniques for Distributed Objects, Components, and Systems - 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 (1st ed. 2023)
Series: Lecture Notes in Computer Science, 13910
Expected to ship within 10 - 15 working days
|
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.
General
Imprint: |
Springer International Publishing AG
|
Country of origin: |
Switzerland |
Series: |
Lecture Notes in Computer Science, 13910 |
Release date: |
June 2023 |
First published: |
2023 |
Editors: |
Marieke Huisman
• António Ravara
|
Dimensions: |
235 x 155mm (L x W) |
Pages: |
225 |
Edition: |
1st ed. 2023 |
ISBN-13: |
978-3-03-135354-3 |
Categories: |
Books
|
LSN: |
3-03-135354-4 |
Barcode: |
9783031353543 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
Atmosfire
Jan Braai
Hardcover
R590
R425
Discovery Miles 4 250
Braai
Reuben Riffel
Paperback
R495
R359
Discovery Miles 3 590
Hoe Ek Dit Onthou
Francois Van Coke, Annie Klopper
Paperback
R300
R219
Discovery Miles 2 190
See more
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.