Formal Description Techniques and Protocol Specification, Testing and Verification / IFIP Advances in Information and Communication Technology (PDF)
FORTE X / PSTV XVII '97
(Sprache: Englisch)
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the...
sofort als Download lieferbar
eBook (pdf)
213.99 €
106 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Description Techniques and Protocol Specification, Testing and Verification / IFIP Advances in Information and Communication Technology (PDF)“
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Bibliographische Angaben
- Autoren: Atsushi Togashi , Tadanori Mizuno , Norio Shiratori , Teruo Higashino
- 2013, 1997, 550 Seiten, Englisch
- Verlag: Springer, New York
- ISBN-10: 0387352716
- ISBN-13: 9780387352718
- Erscheinungsdatum: 05.06.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 51 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Description Techniques and Protocol Specification, Testing and Verification / IFIP Advances in Information and Communication Technology"
0 Gebrauchte Artikel zu „Formal Description Techniques and Protocol Specification, Testing and Verification / IFIP Advances in Information and Communication Technology“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Description Techniques and Protocol Specification, Testing and Verification / IFIP Advances in Information and Communication Technology".
Kommentar verfassen