• Sign In / Register
  • Help
  • Basket0
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 despatched 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...

Blockchain
Added to basket
£19.99
Paperback
Introducing Artificial Intelligence
Added to basket
Networks: A Very Short Introduction
Added to basket
Computing with Quantum Cats
Added to basket
The Art of Computer Programming
Added to basket
Don't Make Me Think, Revisited
Added to basket
Make 3D Printing
Added to basket
Artificial Intelligence: The Basics
Added to basket
Foundation Mathematics
Added to basket
Assembly Language Step-by-Step
Added to basket
A First Course in Coding Theory
Added to basket
Pro Git
Added to basket
£35.50
Paperback
Data Science from Scratch
Added to basket
The Mythical Man-Month
Added to basket
Machine Learning
Added to basket
£39.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.