Protocol specification, testing, and verification, VIII: proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
North-Holland
1988
|
| Subjects: | |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 421 S. graph. Darst. |
| ISBN: | 0444705422 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006571113 | ||
| 003 | DE-604 | ||
| 005 | 20150218 | ||
| 007 | t| | ||
| 008 | 930210s1988 xx d||| |||| 10||| eng d | ||
| 020 | |a 0444705422 |9 0-444-70542-2 | ||
| 035 | |a (OCoLC)19561682 | ||
| 035 | |a (DE-599)BVBBV006571113 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-91 |a DE-11 |a DE-188 |a DE-83 | ||
| 050 | 0 | |a TK5105.5 | |
| 082 | 0 | |a 004.6 2 |2 19 | |
| 084 | |a SD 1988 |0 (DE-625)142722: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 252f |2 stub | ||
| 245 | 1 | 0 | |a Protocol specification, testing, and verification, VIII |b proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 |c ed. by Sudhir Aggarwal ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1988 | |
| 300 | |a XII, 421 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a ESTELLE |2 inriac | |
| 650 | 7 | |a LOTOS |2 inriac | |
| 650 | 7 | |a analyse protocole |2 inriac | |
| 650 | 7 | |a installation protocole |2 inriac | |
| 650 | 7 | |a protocole communication |2 inriac | |
| 650 | 7 | |a protocole réseau |2 inriac | |
| 650 | 7 | |a simulation |2 inriac | |
| 650 | 7 | |a spécification protocole |2 inriac | |
| 650 | 7 | |a test protocole |2 inriac | |
| 650 | 7 | |a validation protocole |2 inriac | |
| 650 | 4 | |a Computer network protocols |v Congresses | |
| 650 | 0 | 7 | |a Filetransferprotokoll |0 (DE-588)4268371-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1988 |z Atlantic City NJ |2 gnd-content | |
| 689 | 0 | 0 | |a Filetransferprotokoll |0 (DE-588)4268371-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Aggarwal, Sudhir |e Sonstige |4 oth | |
| 710 | 2 | |a International Federation for Information Processing |b Working Group on International Packet Switching for Computer Sharing |e Sonstige |0 (DE-588)305931-5 |4 oth | |
| 711 | 2 | |a International Symposium on Protocol Specification, Testing, and Verification |n 8 |d 1988 |c Atlantic City, NJ |j Sonstige |0 (DE-588)5027745-5 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004192215 | |
Record in the Search Index
| _version_ | 1820868310081732608 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV006571113 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.5 |
| callnumber-search | TK5105.5 |
| callnumber-sort | TK 45105.5 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | SD 1988 ST 233 |
| classification_tum | DAT 252f |
| ctrlnum | (OCoLC)19561682 (DE-599)BVBBV006571113 |
| dewey-full | 004.62 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 2 |
| dewey-search | 004.6 2 |
| dewey-sort | 14.6 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006571113</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150218</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1988 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444705422</subfield><subfield code="9">0-444-70542-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19561682</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006571113</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6 2</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1988</subfield><subfield code="0">(DE-625)142722:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol specification, testing, and verification, VIII</subfield><subfield code="b">proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988</subfield><subfield code="c">ed. by Sudhir Aggarwal ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 421 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ESTELLE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LOTOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">installation protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">protocole communication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">protocole réseau</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">simulation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">validation protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Filetransferprotokoll</subfield><subfield code="0">(DE-588)4268371-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1988</subfield><subfield code="z">Atlantic City NJ</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Filetransferprotokoll</subfield><subfield code="0">(DE-588)4268371-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aggarwal, Sudhir</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group on International Packet Switching for Computer Sharing</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)305931-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Symposium on Protocol Specification, Testing, and Verification</subfield><subfield code="n">8</subfield><subfield code="d">1988</subfield><subfield code="c">Atlantic City, NJ</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5027745-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004192215</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1988 Atlantic City NJ gnd-content |
| genre_facet | Konferenzschrift 1988 Atlantic City NJ |
| id | DE-604.BV006571113 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:20Z |
| institution | BVB |
| institution_GND | (DE-588)305931-5 (DE-588)5027745-5 |
| isbn | 0444705422 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004192215 |
| oclc_num | 19561682 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-11 DE-188 DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-11 DE-188 DE-83 |
| physical | XII, 421 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 ed. by Sudhir Aggarwal ... Amsterdam [u.a.] North-Holland 1988 XII, 421 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben ESTELLE inriac LOTOS inriac analyse protocole inriac installation protocole inriac protocole communication inriac protocole réseau inriac simulation inriac spécification protocole inriac test protocole inriac validation protocole inriac Computer network protocols Congresses Filetransferprotokoll (DE-588)4268371-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1988 Atlantic City NJ gnd-content Filetransferprotokoll (DE-588)4268371-3 s DE-604 Aggarwal, Sudhir Sonstige oth International Federation for Information Processing Working Group on International Packet Switching for Computer Sharing Sonstige (DE-588)305931-5 oth International Symposium on Protocol Specification, Testing, and Verification 8 1988 Atlantic City, NJ Sonstige (DE-588)5027745-5 oth |
| spellingShingle | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 ESTELLE inriac LOTOS inriac analyse protocole inriac installation protocole inriac protocole communication inriac protocole réseau inriac simulation inriac spécification protocole inriac test protocole inriac validation protocole inriac Computer network protocols Congresses Filetransferprotokoll (DE-588)4268371-3 gnd |
| subject_GND | (DE-588)4268371-3 (DE-588)1071861417 |
| title | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 |
| title_auth | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 |
| title_exact_search | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 |
| title_full | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 ed. by Sudhir Aggarwal ... |
| title_fullStr | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 ed. by Sudhir Aggarwal ... |
| title_full_unstemmed | Protocol specification, testing, and verification, VIII proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 ed. by Sudhir Aggarwal ... |
| title_short | Protocol specification, testing, and verification, VIII |
| title_sort | protocol specification testing and verification viii proceedings of the ifip wg 6 1 eighth international symposium on protocol specification testing and verification atlantic city new jersey usa june 7 10 1988 |
| title_sub | proceedings of the IFIP WG 6.1 eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7 - 10, 1988 |
| topic | ESTELLE inriac LOTOS inriac analyse protocole inriac installation protocole inriac protocole communication inriac protocole réseau inriac simulation inriac spécification protocole inriac test protocole inriac validation protocole inriac Computer network protocols Congresses Filetransferprotokoll (DE-588)4268371-3 gnd |
| topic_facet | ESTELLE LOTOS analyse protocole installation protocole protocole communication protocole réseau simulation spécification protocole test protocole validation protocole Computer network protocols Congresses Filetransferprotokoll Konferenzschrift 1988 Atlantic City NJ |
| work_keys_str_mv | AT aggarwalsudhir protocolspecificationtestingandverificationviiiproceedingsoftheifipwg61eighthinternationalsymposiumonprotocolspecificationtestingandverificationatlanticcitynewjerseyusajune7101988 AT internationalfederationforinformationprocessingworkinggrouponinternationalpacketswitchingforcomputersharing protocolspecificationtestingandverificationviiiproceedingsoftheifipwg61eighthinternationalsymposiumonprotocolspecificationtestingandverificationatlanticcitynewjerseyusajune7101988 AT internationalsymposiumonprotocolspecificationtestingandverificationatlanticcitynj protocolspecificationtestingandverificationviiiproceedingsoftheifipwg61eighthinternationalsymposiumonprotocolspecificationtestingandverificationatlanticcitynewjerseyusajune7101988 |