Certifying System Translations Using Higher Order
£50.92
Includes FREE deliveryOrder before 4pm tomorrow for delivery by Mon 17 Aug 2026.
A Paperback / softback by Jan Olaf Blech
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Certifying System Translations Using Higher Order by Jan Olaf Blech
Publisher: Logos Verlag Berlin GmbH
Publication Date: Publication Date: 12/06/2009
ISBN13: 9783832522117, 978-3832522117
ISBN10: 3832522115
Also in:
Computer science
Computer science