Undergraduate Topics in Computer Science Rigorous Software Development: An Introduction to Program Verification, (Paperback)
Undergraduate Topics in Computer Science Rigorous Software Development: An Introduction to Program Verification, (Paperback)
Hero image 0 of Undergraduate Topics in Computer Science Rigorous Software Development: An Introduction to Program Verification, (Paperback), 0 of 1
José Bacelar Almeida

Undergraduate Topics in Computer Science Rigorous Software Development: An Introduction to Program Verification, (Paperback)

(No ratings yet)

Key item features

  • Undergraduate Topics in Computer Science Rigorous Software Development: An Introduction to Program Verification, (Paperback)
  • Author: José Bacelar Almeida
  • ISBN: 9780857290175
  • Format: Paperback
  • Publication Date: 2011-01-07
  • Page Count: 307
Current price is $38.65
Price when purchased online
Out of stock

How do you want your item?

How do you want your item?
Out of stock

About this item

Product details

Specifications

Warranty

Customer ratings & reviews

0 out of 5 stars
0 ratings|0 reviews
This item does not have any reviews yet