Adapting Proofs-As-Programs

by: Iman Hafiz Poernomo · John Newsome Crossley · Martin Wirsing

Broschiert

details (Canada).

ISBN: 978-0-387-50372-1

ISBN-10: 0-387-50372-2

Springer Verlag Gmbh · 2008