| Type |  Book |
| ชื่อเรื่อง | Proceedings of the IFIP TC6 International Conference on Formal Description Techniques / edited by Gregor V. Bochmann, Rachida Dssouli and Omar Rafiq |
| ผู้แต่ง | Ifip tc6 international conference on formal description techniques (8th : 1995 : Montreal, Canada) |
| ISBN | 041273270X |
| พิมพลักษณ์ | London : Chapman \& Hall, c1996 |
| รูปเล่ม | xiv, 452 p |
| หัวเรื่อง | COMPUTER NETWORK PROTOCOLS |
| | Congresses and conventions |
| | ELECTRONIC DATA PROCESSING --DISTRIBUTED PROCESSING [] |
| | FORMAL LANGUAGES |
| | Programming (Electronic computers) |