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

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

 
9781475752601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
Softcover
ISBN 10: 1475752601 ISBN 13: 9781475752601
Verlag: Springer, 2013

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
2013
Sprache
Englisch
ISBN 10 
1475752601
ISBN 13 
9781475752601
Einband
Taschenbuch
Anzahl der Seiten
568
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0412820609 ISBN 13:  9780412820601
Verlag: Springer, 1997
Hardcover