Home
Speed Tests
Login

Iman Hafiz Poernomo

Identifiers

Open LibraryOL2680103A

Books by Iman Hafiz Poernomo

Total count: 2

Adapting Proofs-as-Programs The Curry-Howard Protocol (Monographs in Computer Science)

Springer2005-06-21
Adapting Proofs-as-Programs

Springer2008-09-22

Reading Length

Reading Speed Tests
Privacy
Terms
Login
Register

Like Reading Length? Support it with a coffee (or book)!

Stop scrolling and start reading!

© 2015 - 2026 Reading Length.

Made with ♥ in Boise by Bridger Putnam.

Word count estimates aren’t always exact. If you're an author or have a more accurate figure, contact me.

Some links on this site are affiliate links. If you buy through them, I may earn a small commission at no extra cost to you.

Bookshop.org supports local bookstores, even when you buy online.

As an Amazon Associate, I earn from qualifying purchases. Amazon and the Amazon logo are trademarks of Amazon.com, Inc. or its affiliates.