Non-Fiction, Computing & Technology, Applications & Programming
Certified Programming with Dependent Types

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Paperback Published on: 07/06/2022
£47.24
No reviews yet, be the first
Free UK delivery on orders over £25
Make and edit your lists in your account
No stock available in any shop.
No stock available in any shop.

Publisher information

  • Publisher: MIT Press Ltd
  • ISBN: 9780262545747
  • Number of pages: 440
  • Dimensions: 229 x 178 mm
  • Weight: 369g
  • Languages: English

Customer Reviews