Certifying System Translations Using Higher Order
£50.92
Includes FREE deliveryOrder before 4pm tomorrow for delivery by Wed 1 Jul 2026.
A Paperback / softback by Jan Olaf Blech
View other formats and editions of Certifying System Translations Using Higher Order by Jan Olaf Blech
Publisher: Logos Verlag Berlin GmbH
Publication Date: 12/06/2009
ISBN13: 9783832522117, 978-3832522117
ISBN10: 3832522115
Also in:
Computer science
Computer science