Computation Proof Machine
£40.84
Includes FREE deliveryRRP £42.99 – you save £2.15 (5%)
Order before 4pm today for delivery by Tue 7 Jul 2026.
A Paperback by Gilles Dowek, Pierre Guillot, Marion Roman
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Computation Proof Machine by Gilles Dowek
Publisher: Cambridge University Press
Publication Date: 05/05/2015
ISBN13: 9780521133777, 978-0521133777
ISBN10: