Interactive Theorem Proving and Program Development

EAN: 9783642058806· Price history

Go to best offer · 93,49 EUR ♡ Track price

Lowest (90 days)

74,50 PLN

2026-08-15

Average (90 days)

81,45 PLN

Highest (90 days)

88,39 PLN

2026-08-08

Current price

93,49 PLN

vor 1 Woche

30 days 90 days 180 days 1 year

Price history
Aktualisiert am	Preis
2026-08-08	88,39
2026-08-15	74,50

Minimum price Average price Lowest: 74,50 PLN

Price statistics (90 days)

Lowest74,50 PLN

Highest88,39 PLN

Average81,45 PLN

Median81,45 PLN

Price changes1

Trend−13,89 PLN

15.08.2026 −7,01 EUR

08.08.2026 —

Get notified when the price drops below your chosen level.

88,82 PLN

84,14 PLN

79,47 PLN

Date	Preis	Change	Source
15.08.2026	93,49 EUR	−7,01 EUR	SpringerNatureLink Shop INT
08.08.2026	100,50 EUR	baseline	SpringerNatureLink Shop INT
08.08.2026	100,50 EUR	baseline	Springer Nature Author

SP SpringerNatureLink Shop INT 93,49 EUR Verfügbar

SP Springer Nature Author 100,50 EUR Verfügbar

See all offers →