Pricelists.org Log in Sign up

Formal Techniques for Distributed Objects, Components, and Systems

☆☆☆☆☆ (0 reviews)

Show price history

Formal Techniques for Distributed Objects, Components, and Systems

Lowest price (incl. delivery)

8 022,00 JPY

Typical price941,33 PLN

Lowest (90 days)47,99 PLN

Offers3

Last updated1 week ago

See best offer

Price history (90 days)

Full history

2026-08-08 2026-08-15

Price History
Updated At	Price
2026-08-08	47,99
2026-08-14	47,99
2026-08-15	66,00

Seller	Product price	Delivery	Total	Availability	Updated
SP SpringerNatureLink Shop INT	8 007,00 JPY	15,00 JPY	8 022,00 JPY	Available	6 days ago	View offer
SP Springer Nature Author	8 007,00 JPY	free	8 007,00 JPY	Available	1 week ago	View offer
SP SpringerNatureLink Shop INT	66,00 EUR	free	66,00 EUR	Available	6 days ago	View offer

Prices and availability may change. Last Updated: 08.08.2026 23:17.

EAN 9783031353550

Springer Nature

0,0

☆☆☆☆☆

0 reviews

5★ 0%

4★ 0%

3★ 0%

2★ 0%

1★ 0%

Product reviews

Name

Rating

Your review

No reviews yet — be the first!

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.