The Austin Protocol Compiler
Produktnummer:
18639f653cb7d24e43909c91b8df16a3c2
| Autor: | Gouda, Mohamed G. McGuire, Tommy M. |
|---|---|
| Themengebiete: | DEX DNS Equivalence boundary element method compiler implementation network network protocol semantics server |
| Veröffentlichungsdatum: | 19.11.2004 |
| EAN: | 9780387232270 |
| Sprache: | Englisch |
| Seitenzahl: | 141 |
| Produktart: | Gebunden |
| Verlag: | Springer US |
Produktinformationen "The Austin Protocol Compiler"
A number of issues combine to make network protocol development significantly more difficult than other areas of computer programming. The combination of the Timed Abstract Protocol notation and the Austin Protocol Compiler detailed in this book addresses the issues of network protocol development by allowing precise and verifiable descriptions of protocols which can be made easily executable. The authors demonstrate alternative ways of developing a network protocol, discussing security protocols, implementing security protocols, abstract protocols, and protocol correctness. The Austin Protocol Compiler is an ideal source for a professional audience composed of protocol designers, verifiers, reviewers and implementers.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen