Certifying System Translations Using Higher Order Theorem Provers (Paperback)
  • Certifying System Translations Using Higher Order Theorem Provers (Paperback)
zoom

Certifying System Translations Using Higher Order Theorem Provers (Paperback)

(author)
£32.40
Paperback 188 Pages / Published: 12/06/2009
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

Publisher: Logos Verlag Berlin GmbH
ISBN: 9783832522117
Number of pages: 188
Weight: 1 g
Dimensions: 210 x 145 mm

You may also be interested in...

US For Beginners
Added to basket
£27.99
Paperback
Machine Learning
Added to basket
£39.99
Paperback
How We Became Posthuman
Added to basket
Business Analysis Techniques
Added to basket
Principles of Computer Hardware
Added to basket
The Elements of Statistical Learning
Added to basket
Computing with Quantum Cats
Added to basket
Introducing Artificial Intelligence
Added to basket
Don't Make Me Think, Revisited
Added to basket
How to Pass Higher Computing Science
Added to basket
Deep Learning
Added to basket
£47.99
Paperback
The Lego Architect
Added to basket
£20.99
Hardback
Machine Learning
Added to basket
Portfolio, programme and project offices
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
Data Science from Scratch
Added to basket

Please sign in to write a review

Your review has been submitted successfully.