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:
Bibliographic Details
Corporate Author: International Federation for Information Processing
Other Authors: Diaz, Michel 1945-, Groz, Roland
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||