Formal description techniques IX theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserlautern, Germany, 8-11 October 1996
| स्वरूप: | पुस्तक |
|---|---|
| भाषा: | English |
| प्रकाशित: |
London
Published by Chapman & Hall on behalf of the International Federation for Information Processing
c1996.
|
| विषय: |