×
  • ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

    Eric Hehner

Click on cover to enlarge.
Buy This Book
From Amazon.
12 - 14Hours to read