Pre-Owned Lecture Notes in Computer Science: 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 (Paperback

Pre-Owned Lecture Notes in Computer Science: 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 (Paperback

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002) held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con-...


Walmart

$64.47
Free Delivery

Go to store
Items per page