Pricelists.org 登录注册

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 周前

See best offer

Price history (90 days)

Full history

2026-08-08 2026-08-15

价格历史
更新时间	价格
2026-08-08	47,99
2026-08-14	47,99
2026-08-15	66,00

卖家	Product price	Delivery	总计	可用性	Updated
SP SpringerNatureLink Shop INT	8 007,00 JPY	15,00 JPY	8 022,00 JPY	可购买	1 周前	View offer
SP Springer Nature Author	8 007,00 JPY	free	8 007,00 JPY	可购买	1 周前	View offer
SP SpringerNatureLink Shop INT	66,00 EUR	free	66,00 EUR	可购买	1 周前	View offer

价格和库存可能会有变动。最后更新: 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.