Formal Description Techniques and Protocol Specification, Testing and Verification

Libros

Libros similares