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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Englewood Cliffs, NJ
Prentice-Hall
1991
|
| Edition: | 1.print. |
| Series: | Prentice-Hall software series
|
| Subjects: | |
| Summary: | 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. |
| Physical Description: | XII, 500 S. |
| ISBN: | 0135399254 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021896941 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 910416s1991 |||| 00||| eng d | ||
| 020 | |a 0135399254 |9 0-13-539925-4 | ||
| 035 | |a (OCoLC)21971508 | ||
| 035 | |a (DE-599)BVBBV021896941 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a TK5105.5 | |
| 082 | 0 | |a 004.6/2 |2 20 | |
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 100 | 1 | |a Holzmann, Gerard J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Design and validation of computer protocols |c Gerard J Holzmann |
| 250 | |a 1.print. | ||
| 264 | 1 | |a Englewood Cliffs, NJ |b Prentice-Hall |c 1991 | |
| 300 | |a XII, 500 S. | ||
| 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 Evaluation |0 (DE-588)4071034-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015112124 | ||
Record in the Search Index
| _version_ | 1804135842037366784 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV021896941 |
| 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 |
| ctrlnum | (OCoLC)21971508 (DE-599)BVBBV021896941 |
| 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 |
| discipline_str_mv | Informatik |
| edition | 1.print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02206nam a2200421zc 4500</leader><controlfield tag="001">BV021896941</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910416s1991 |||| 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)BVBBV021896941</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</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="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="250" ind1=" " ind2=" "><subfield code="a">1.print.</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></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">Evaluation</subfield><subfield code="0">(DE-588)4071034-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">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015112124</subfield></datafield></record></collection> |
| id | DE-604.BV021896941 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:26Z |
| indexdate | 2024-07-09T20:46:55Z |
| institution | BVB |
| isbn | 0135399254 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015112124 |
| oclc_num | 21971508 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XII, 500 S. |
| 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 1.print. Englewood Cliffs, NJ Prentice-Hall 1991 XII, 500 S. 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 Evaluation (DE-588)4071034-8 s DE-604 Kommunikationsprotokoll (DE-588)4128252-8 s |
| 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_exact_search_txtP | 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 |