26326905
9781605583303
Out of Stock
The item you're looking for is currently unavailable.
Altenkirch, Thorsten is the author of 'PLPV '09 : Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Savannah, Georgia, USA, January 20, 2009', published 2009 under ISBN 9781605583303 and ISBN 1605583308.
[read more]