Native American Heritage Month

Adapting Proofs-as-Programs > Editions

by Iman Hafiz Poernomo First published January 1st 2005

Sort by
Format
Language
Editions
Showing 1-4 of 4
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Published June 21st 2005 by Springer
2005, Hardcover, 432 pages
Author(s):
ISBN:
9780387237596 (ISBN10: 0387237593)
ASIN:
0387237593
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs (Paperback)
Published September 22nd 2008 by Springer
Paperback, 436 pages
Author(s):
ISBN:
9780387503721 (ISBN10: 0387503722)
ASIN:
0387503722
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Adapting Proofsasprograms
Adapting Proofsasprograms (Kindle Edition)
Published January 1st 2005 by Springer Science+Business Media
Kindle Edition, 0 pages
Author(s):
ISBN:
9780387281834 (ISBN10: 0387281835)
ASIN:
0387281835
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Published November 19th 2010 by Springer
Softcover reprint of hardcover 1st ed. 2005, Paperback, 432 pages
Author(s):
ISBN:
9781441920140 (ISBN10: 1441920145)
ASIN:
1441920145
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page