HomeGames & EntertainmentBooks

Yves Bertot, Pierre Casteran: Interactive Theorem Proving and Program Developmen

Rank 65535

Write a review

Genre: Science & Nature, Type: Paper Books, Language: EnglishRead more

Now

$287.00

View price history

‌

Yves Bertot, Pierre Casteran: Interactive Theorem Proving and Program Developmen

Sorted by cheapest price

Fishpond
Springer-Verlag Berlin and Heidelberg GmbH & Co. K Castéran, Pierre In
$287.00

We have found the product in 1 shops, of which 1 are paying customers of Prisjakt and have a direct link to the shop.
The shops can sell this product in various variants and conditions. Change the settings to select which offers you see.

How we display prices and shops

Price and product information

The best price for Yves Bertot, Pierre Casteran: Interactive Theorem Proving and Program Developmen right now is $287.00. PriceSpy compares deals and offers from online and local shops.

Genre

Science & Nature

Type

Paper Books

Language

English

Character/Series

Author

Format

$287.00

Trending products

Price and product information