Formal Specification and Documentation Using Z : A Case Study Approach / Jonathan Bowen - Bowen, Jonathan
Nội dung: Introduction, network services...