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

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.
Θέματα:
Electrical digital computers > Programming > Congresses.