Protocol specification, testing, and verification VI: proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1987
|
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 427 S. |
| ISBN: | 0444701265 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006545469 | ||
| 003 | DE-604 | ||
| 005 | 20010718 | ||
| 007 | t| | ||
| 008 | 930210s1987 xx |||| 10||| eng d | ||
| 020 | |a 0444701265 |9 0-444-70126-5 | ||
| 035 | |a (OCoLC)17677238 | ||
| 035 | |a (DE-599)BVBBV006545469 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-11 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a TK5105.5 | |
| 082 | 0 | |a 004.6/2 |2 19 | |
| 245 | 1 | 0 | |a Protocol specification, testing, and verification VI |b proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 |c ed. by Behcet Sarikaya ... |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1987 | |
| 300 | |a XII, 427 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer systems - Networks - Protocols | |
| 650 | 7 | |a Comunicacoes |2 larpcal | |
| 650 | 7 | |a Redes De Computadores E Tecnicas |2 larpcal | |
| 650 | 4 | |a Computer network protocols | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Sarikaya, Behcet |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 Workshop on Protocol Specification, Testing and Verification |n 6 |d 1986 |c Montréal |j Sonstige |0 (DE-588)802285-9 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004171882 | |
Datensatz im Suchindex
| _version_ | 1820868047021277184 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV006545469 |
| 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 | SS 1986 |
| ctrlnum | (OCoLC)17677238 (DE-599)BVBBV006545469 |
| dewey-full | 004.6/2 |
| 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 |
| 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">BV006545469</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010718</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1987 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444701265</subfield><subfield code="9">0-444-70126-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)17677238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006545469</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-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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="245" ind1="1" ind2="0"><subfield code="a">Protocol specification, testing, and verification VI</subfield><subfield code="b">proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986</subfield><subfield code="c">ed. by Behcet Sarikaya ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 427 S.</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="4"><subfield code="a">Computer systems - Networks - Protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Comunicacoes</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redes De Computadores E Tecnicas</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sarikaya, Behcet</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 Workshop on Protocol Specification, Testing and Verification</subfield><subfield code="n">6</subfield><subfield code="d">1986</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)802285-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004171882</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV006545469 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:09Z |
| institution | BVB |
| institution_GND | (DE-588)305931-5 (DE-588)802285-9 |
| isbn | 0444701265 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004171882 |
| oclc_num | 17677238 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-11 DE-83 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-11 DE-83 DE-188 |
| physical | XII, 427 S. |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 ed. by Behcet Sarikaya ... Amsterdam u.a. North-Holland 1987 XII, 427 S. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Computer systems - Networks - Protocols Comunicacoes larpcal Redes De Computadores E Tecnicas larpcal Computer network protocols (DE-588)1071861417 Konferenzschrift gnd-content Sarikaya, Behcet Sonstige oth International Federation for Information Processing Working Group on International Packet Switching for Computer Sharing Sonstige (DE-588)305931-5 oth International Workshop on Protocol Specification, Testing and Verification 6 1986 Montréal Sonstige (DE-588)802285-9 oth |
| spellingShingle | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 Computer systems - Networks - Protocols Comunicacoes larpcal Redes De Computadores E Tecnicas larpcal Computer network protocols |
| subject_GND | (DE-588)1071861417 |
| title | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 |
| title_auth | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 |
| title_exact_search | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 |
| title_full | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 ed. by Behcet Sarikaya ... |
| title_fullStr | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 ed. by Behcet Sarikaya ... |
| title_full_unstemmed | Protocol specification, testing, and verification VI proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 ed. by Behcet Sarikaya ... |
| title_short | Protocol specification, testing, and verification VI |
| title_sort | protocol specification testing and verification vi proceedings of the ifip wg 6 1 sixth international workshop on protocol specification testing and verification organized by concordia university and universite de montreal montreal quebec canada june 10 13 1986 |
| title_sub | proceedings of the IFIP WG 6.1 sixth International Workshop on Protocol Specification, Testing, and Verification, organized by Concordia University and Université de Montréal, Montréal, Quebec, Canada, June 10 - 13, 1986 |
| topic | Computer systems - Networks - Protocols Comunicacoes larpcal Redes De Computadores E Tecnicas larpcal Computer network protocols |
| topic_facet | Computer systems - Networks - Protocols Comunicacoes Redes De Computadores E Tecnicas Computer network protocols Konferenzschrift |
| work_keys_str_mv | AT sarikayabehcet protocolspecificationtestingandverificationviproceedingsoftheifipwg61sixthinternationalworkshoponprotocolspecificationtestingandverificationorganizedbyconcordiauniversityanduniversitedemontrealmontrealquebeccanadajune10131986 AT internationalfederationforinformationprocessingworkinggrouponinternationalpacketswitchingforcomputersharing protocolspecificationtestingandverificationviproceedingsoftheifipwg61sixthinternationalworkshoponprotocolspecificationtestingandverificationorganizedbyconcordiauniversityanduniversitedemontrealmontrealquebeccanadajune10131986 AT internationalworkshoponprotocolspecificationtestingandverificationmontreal protocolspecificationtestingandverificationviproceedingsoftheifipwg61sixthinternationalworkshoponprotocolspecificationtestingandverificationorganizedbyconcordiauniversityanduniversitedemontrealmontrealquebeccanadajune10131986 |