Interactive Theorem Proving in Software Engineering

Interactive Theorem Proving in Software Engineering

Paperback Published on: 22/07/2008
£40.67
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: VDM Verlag Dr. Mueller E.K.
  • ISBN: 9783836457699
  • Number of pages: 120
  • Dimensions: 229 x 152 x 6 mm
  • Weight: 172g
  • Languages: English

Customer Reviews