Verwandte Artikel zu Formal Description Techniques and Protocol Specification,...

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology) - Hardcover

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo

 
9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
Hardcover
ISBN 10: 0412820609 ISBN 13: 9780412820601
Verlag: Springer, 1997

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0412820609
ISBN 13 
9780412820601
Einband
Gebundene Ausgabe
Anzahl der Seiten
561
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland