Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Published: |
London
Chapman & Hall
1996
|
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!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-142839 | ||
005 | 2021118102715 | ||
020 | # | # | |a 041273270X |
090 | 0 | 0 | |a QA76.9.D5 |b I338 1996 |
245 | 0 | 0 | |a Formal description techniques, V111 |b proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol |
260 | # | # | |a London |b Chapman & Hall |c 1996 |
300 | # | # | |a xiv, 452 p. |b ill. |c 24 cm |
490 | 1 | # | |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 | 1 | # | |a Diaz, Michel |c 1945- |y editor |
700 | # | # | |a Groz, Roland |y joint editor |
710 | 1 | # | |a International Federation for Information Processing |c Technical Committee 6 |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=142839 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a0011.2.2||00260##b0011.2.2||00260##c0011.2.2||00300##a0011.2.2||00300##b0011.2.2||00300##c0011.2.2||01700##a0011.2.2|| |