booktheque

Adapting Proofs-as-Programs

Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing · 2005

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2005
Language
English
Publisher
Springer London, Limited
Editions
3
ISBN
9780387281834

Data source: Wikidata

More by Iman Hafiz Poernomo

Adapting proofs-as-programs
Iman Hafiz Poernomo · 2005