booktheque

Types for Proofs and Programs

Marino Miculan · 2008

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Editions
1
Pages
202
ISBN
9783540681038

Data source: Wikidata