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	มีจำหน่าย	4 วันที่แล้ว	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	มีจำหน่าย	5 วันที่แล้ว	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.