Formal Methods for Multicore Programming

☆☆☆☆☆ (0 reviews)

Show price history

Formal Methods for Multicore Programming

Lowest price (incl. delivery)

5 520,00 JPY

Typical price535,70 PLN

Lowest (90 days)39,58 PLN

Offers2

Last updated13 ชั่วโมงที่แล้ว

See best offer

ผู้ขาย	Product price	Delivery	รวม	ความพร้อมจำหน่าย	Updated
SP Springer Nature Author	5 491,00 JPY	29,00 JPY	5 520,00 JPY	มีจำหน่าย	13 ชั่วโมงที่แล้ว	View offer
SP SpringerNatureLink Shop INT	45,50 EUR	free	45,50 EUR	มีจำหน่าย	1 วันที่แล้ว	View offer

ราคาและความพร้อมจำหน่ายอาจมีการเปลี่ยนแปลง อัปเดตล่าสุด: 08.08.2026 23:07.

EAN 9783319189413

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 presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.