Formal description techniques, V proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Unknown |
| Published: |
Amsterdam
North-Holland
1993
|
| Series: | IFIP transactions.
C-10 |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag MARC
| LEADER | 00000n a2200000 a 4501 | ||
|---|---|---|---|
| 001 | wils-70162 | ||
| 020 | # | # | |a 0444892826 |
| 090 | 0 | 0 | |a QA76.9.D5 |b I338 1993 |
| 110 | # | # | |a IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols |i 5th |j Perros-Guirec, France |k 1992 |
| 245 | 1 | 0 | |a Formal description techniques, V |b proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 |c edite |
| 260 | # | # | |a Amsterdam |b North-Holland |c 1993 |
| 300 | # | # | |a xvi, 513 p. |b ill. |c 23 cm |
| 490 | # | # | |a IFIP transactions. |n C |p Communication systems |v C-10 |x 0926-549X |
| 504 | # | # | |a Includes bibliographical references and index |
| 650 | # | 0 | |a Computer network protocols |x Congresses |
| 650 | # | 0 | |a Formal languages |x Congresses |
| 650 | # | 0 | |a Electronic data processing |v Congresses |x Distributed processing |
| 700 | # | # | |a Diaz, Michel |c 1945- |y editor |
| 700 | # | # | |a Groz, Roland |y joint editor |
| 710 | # | # | |a International Federation for Information Processing |c Technical Committee 6 |
| 745 | 0 | 0 | |a Formal description techniques, 5 |
| 745 | 0 | 0 | |a Formal description techniques, five |
| 856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=70162 |
| 964 | # | # | |c BOK |d 01 |
| 040 | # | # | |a Shah Alam |
| 998 | # | # | |a 00110##a0011.3.3||00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||00490##a002.12.2||00490##v002.12.9||00490##x002.12.8||00700##a0011.2.2||00700##c0017.8||01700##a0011.2.2||00710##a0011.3.3||00710##c0011.5|| |
Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol