Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 225,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Formal Description Techniques and Protocol Specification, Testing and Verification | FORTE X / PSTV XVII '97 | Atsushi Togashi (u. a.) | Taschenbuch | IFIP Advances in Information and Communication Technology | xi | Englisch | 2013 | Springer | EAN 9781475752601 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.