B (Computer program language) - Books


Click a book link to view all the available details:

· Zb 2000: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 1878)
· Zb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272)


Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog