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:
Bibliographic Details
Corporate Authors: IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, International Federation for Information Processing
Other Authors: Diaz, Michel 1945-, Groz, Roland
Format: Book
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!

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||