Certifying System Translations Using Higher Order
A Paperback / softback by Jan Olaf Blech
£51.27
Includes FREE deliveryOrder before 4pm today for delivery by Tue 1 Dec 2026.
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
Book details
Publisher
Logos Verlag Berlin GmbH
Published
12 June 2009
ISBN-13
9783832522117
978-3832522117
978-3832522117
ISBN-10
3832522115
Also in:
Computer science
Computer science