000			01989cas a2200385 a 4500
005			20250914125337.0
008			030109d19881995xxkar 1 0eng
010			_asn 90-035386
020			_a0412716208 _cHadiah
039		9	_a200301091542 _basiah _y01-09-2003 _zasiah
090			_aTK5105.5.I3426 1995
090			_aTK5105.5
111	2		_aIFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification _n(15th : _d1995 : _cWarsaw, Poland)
222	1	0	_aProtocol specification, testing, and verification : _bproceedings of the IFIP WG 6.1, International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, June 1995 / _cedited by Piotr Dembinski and Marek Sredniawa
245	1	0	_aProtocol specification, testing, and verification : _bproceedings of the IFIP WG 6.1, International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, June 1995 / _cedited by Piotr Dembinski and Marek Sredniawa
250			_a1st ed.
260			_aLondon : _bChapman & Hall, _c1996
300			_a8 v. : _bill. ; _c23 cm.
310			_aAnnual
362	0		_a8th (June 7-10, 1988)-15th (June 1995) = 8-15
490	1		_a1992-1993: IFIP transactions C: Communication systems _x0926-549X
500			_aPublished : London ; New York : Chapman & Hall, 1994-1995
500			_aSeparately cataloged beginning with vol. for 1996, when PSTV and the International Conference on Formal Description Techniques began holding joint international conferences.
550			_aOrganized under the auspices of: IFIP Working Group 6.1.
650		0	_aComputer network protocols _vCongresses
700	1		_aDembinski, Piotr
700	1		_aSredniawa, Marek
710	2		_aIFIP Working Group 6.1.
907			_a.b13158661 _b2025-07-18 _c2019-11-12
942			_c01 _n0 _kTK5105.5.I3426 1995
914			_avtls000329293
991			_aFakulti Kejuruteraan (K)
998			_al _b2003-09-01 _cs _da _feng _gxxk _y0 _z.b13158661
999			_c315475 _d315475