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 (Lecture Notes in Computer Science)
- Binding:
- Paperback
- Number of Pages:
- 535
- ISBN:
- 9783540431664
- Product Group:
- book
- Publisher:
- Springer
- Publication Date:
- Jan. 16, 2002
- BooksForGeeks.com ID:
- 8097
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 (Lecture Notes in Computer Science)
5 out of 5
based on
0 ratings.
0 user reviews.