Adapting Proofs-as-Programs > Editions
by Iman Hafiz Poernomo First published January 1st 2005
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)
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)
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)
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)
