Formal description techniques : proceedings of the IFIP TC/WG 6.1 ... International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE

LDR 02237nas a22003858a 4500
001 008000301
003 MiAaHDL
005 20100505000000.0
006 m d
007 cr bn ---auaua
008 910201d19891995xxuau b 0 00eng d
010 ⊔ ⊔ ‡a 93650262 //r98
035 ⊔ ⊔ ‡asdr-pst.a1355537
035 ⊔ ⊔ ‡a(OCoLC)28453363
035 ⊔ ⊔ ‡aLIAS1539884
040 ⊔ ⊔ ‡cPSt ‡dWaOLN
050 0 0 ‡aQA76.6 ‡b.I545a
111 2 ⊔ ‡aIFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols.
245 1 0 ‡aFormal description techniques : ‡bproceedings of the IFIP TC/WG 6.1 ... International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE.
246 1 ⊔ ‡iAlso called: ‡aFORTE
246 3 9 ‡aFormal description techniques
260 ⊔ ⊔ ‡aAmsterdam ; ‡aNew York : ‡bNorth-Holland ; ‡aNew York : ‡bDistributors for the United States and Canada, Elsevier Science Pub., ‡c1990-1995.
300 ⊔ ⊔ ‡a7 v. : ‡bill. ; ‡c24 cm.
310 ⊔ ⊔ ‡aAnnual.
362 0 ⊔ ‡a2nd (5-8 Dec. 1989)-8th (Oct. 1995).
490 0 ⊔ ‡a1991-1993: IFIP transactions. C, Communication systems
500 ⊔ ⊔ ‡aProceedings for 1994-1995 issued under earlier form of name.
500 ⊔ ⊔ ‡aPublished: London; New York : Chapman Hall on behalf of the International Federation for Information Processing, 1994-1995.
515 ⊔ ⊔ ‡aIssues also numbered: 2-8.
538 ⊔ ⊔ ‡aMode of access: Internet.
580 ⊔ ⊔ ‡aContinued in 1996 by monographic publications containing the proceedings of both the IFIP TC/WG 6.1 International Conference on Formal Description Techniques and the IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification. For catalog access, search by conference name or call number: QA76.9.D5I33845 [date of conference].
650 ⊔ 0 ‡aComputer network protocols ‡vCongresses.
650 ⊔ 0 ‡aFormal languages ‡vCongresses.
650 ⊔ 0 ‡aElectronic data processing ‡xDistributed processing ‡vCongresses.
650 ⊔ 0 ‡aComputer programming ‡vCongresses.
710 2 ⊔ ‡aInternational Federation for Information Processing.
710 2 ⊔ ‡aIFIP Working Group 6.1.
780 0 0 ‡aInternational Conference on Formal Description Techniques / ‡tFormal description techniques.
CID ⊔ ⊔ ‡a008000301
DAT 0 ⊔ ‡b20100505000000.0
DAT 1 ⊔ ‡a20120815061909.0 ‡b2024-01-13T02:16:34Z
DAT 2 ⊔ ‡a2024-01-12T18:30:02Z
CAT ⊔ ⊔ ‡aSDR-PST ‡dUNKNOWN ‡lloader.pl-001-001
FMT ⊔ ⊔ ‡aSE
HOL ⊔ ⊔ ‡0sdr-pst.a1355537 ‡apst ‡bSDR ‡cPST ‡ppst.000026554686 ‡sPST ‡z7th 1994 ‡1a1355537
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240113 ‡sgoogle ‡upst.000026554686 ‡z7th 1994 ‡y1994 ‡ric ‡qbib ‡tUS serial item date >= 1930
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240113 ‡sgoogle ‡upst.000025789768 ‡z8th 1995 ‡y1995 ‡ric ‡qbib ‡tUS serial item date >= 1930
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240120 ‡sgoogle ‡upst.000015065469 ‡z1st 1988 ‡y1988 ‡ric ‡qbib ‡tUS serial item date >= 1930
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240120 ‡sgoogle ‡upst.000017457057 ‡z2nd 1989 ‡y1989 ‡ric ‡qbib ‡tUS serial item date >= 1930
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240122 ‡sgoogle ‡upst.000018787528 ‡z3rd 1990 ‡y1990 ‡ric ‡qbib ‡tUS serial item date >= 1930
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240122 ‡sgoogle ‡upst.000021224539 ‡z5th 1992 ‡y1992 ‡ric ‡qbib ‡tUS serial item date >= 1930
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240121 ‡sgoogle ‡upst.000023329065 ‡z6th 1993 ‡y1993 ‡ric ‡qbib ‡tUS serial item date >= 1930