Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
All Editions of Formal Description Techniques and Protocol Specification Testing and Verification By IFIP TC6 WG61 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols FORTE X and Protocol Specification Testing and Verification PSTV XVII,
