Formal Description Techniques and Protocol Specification, Testing and Verification : Forte X / Pstv XVII ?97
Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
ISBN 10: 1475752601 ISBN 13: 9781475752601
Verlag: Springer, 2013
Neu
Softcover
Verkäufer
GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 6. April 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Bestandsnummer des Verkäufers 20346815-n
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Formal Description Techniques and Protocol ...
Verlag: Springer
Erscheinungsdatum: 2013
Einband: Softcover
Zustand: New