Design and validation of computer protocols:
This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Englewood Cliffs, NJ
Prentice Hall
1991
|
| Schriftenreihe: | Prentice Hall software series
|
| Schlagworte: | |
| Zusammenfassung: | This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively. |
| Beschreibung: | XII, 500 S. graph. Darst. |
| ISBN: | 0135399254 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004413635 | ||
| 003 | DE-604 | ||
| 005 | 20000919 | ||
| 007 | t | ||
| 008 | 910711s1991 d||| |||| 00||| eng d | ||
| 020 | |a 0135399254 |9 0-13-539925-4 | ||
| 035 | |a (OCoLC)21971508 | ||
| 035 | |a (DE-599)BVBBV004413635 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-824 |a DE-29T |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a TK5105.5 | |
| 082 | 0 | |a 004.6/2 |2 20 | |
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 084 | |a DAT 252f |2 stub | ||
| 100 | 1 | |a Holzmann, Gerard J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Design and validation of computer protocols |c Gerard J. Holzmann |
| 264 | 1 | |a Englewood Cliffs, NJ |b Prentice Hall |c 1991 | |
| 300 | |a XII, 500 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice Hall software series | |
| 520 | 3 | |a This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively. | |
| 650 | 4 | |a Protocoles de réseaux d'ordinateurs | |
| 650 | 4 | |a Computer network protocols |x Design | |
| 650 | 0 | 7 | |a Evaluation |0 (DE-588)4071034-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Evaluation |0 (DE-588)4071034-8 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002738306 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804118590014619648 |
|---|---|
| any_adam_object | |
| author | Holzmann, Gerard J. |
| author_facet | Holzmann, Gerard J. |
| author_role | aut |
| author_sort | Holzmann, Gerard J. |
| author_variant | g j h gj gjh |
| building | Verbundindex |
| bvnumber | BV004413635 |
| 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 | ST 273 |
| classification_tum | DAT 252f |
| ctrlnum | (OCoLC)21971508 (DE-599)BVBBV004413635 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02366nam a2200433 c 4500</leader><controlfield tag="001">BV004413635</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000919 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910711s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0135399254</subfield><subfield code="9">0-13-539925-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21971508</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004413635</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</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">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 273</subfield><subfield code="0">(DE-625)143640:</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="100" ind1="1" ind2=" "><subfield code="a">Holzmann, Gerard J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Design and validation of computer protocols</subfield><subfield code="c">Gerard J. Holzmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, NJ</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 500 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="490" ind1="0" ind2=" "><subfield code="a">Prentice Hall software series</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Protocoles de réseaux d'ordinateurs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="x">Design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Evaluation</subfield><subfield code="0">(DE-588)4071034-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Evaluation</subfield><subfield code="0">(DE-588)4071034-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002738306</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV004413635 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:12:43Z |
| institution | BVB |
| isbn | 0135399254 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002738306 |
| oclc_num | 21971508 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-824 DE-29T DE-634 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-824 DE-29T DE-634 DE-83 DE-188 |
| physical | XII, 500 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice Hall software series |
| spelling | Holzmann, Gerard J. Verfasser aut Design and validation of computer protocols Gerard J. Holzmann Englewood Cliffs, NJ Prentice Hall 1991 XII, 500 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Prentice Hall software series This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used. This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively. Protocoles de réseaux d'ordinateurs Computer network protocols Design Evaluation (DE-588)4071034-8 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 s DE-604 Evaluation (DE-588)4071034-8 s 1\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Holzmann, Gerard J. Design and validation of computer protocols Protocoles de réseaux d'ordinateurs Computer network protocols Design Evaluation (DE-588)4071034-8 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd |
| subject_GND | (DE-588)4071034-8 (DE-588)4128252-8 |
| title | Design and validation of computer protocols |
| title_auth | Design and validation of computer protocols |
| title_exact_search | Design and validation of computer protocols |
| title_full | Design and validation of computer protocols Gerard J. Holzmann |
| title_fullStr | Design and validation of computer protocols Gerard J. Holzmann |
| title_full_unstemmed | Design and validation of computer protocols Gerard J. Holzmann |
| title_short | Design and validation of computer protocols |
| title_sort | design and validation of computer protocols |
| topic | Protocoles de réseaux d'ordinateurs Computer network protocols Design Evaluation (DE-588)4071034-8 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd |
| topic_facet | Protocoles de réseaux d'ordinateurs Computer network protocols Design Evaluation Kommunikationsprotokoll |
| work_keys_str_mv | AT holzmanngerardj designandvalidationofcomputerprotocols |