Atsushi Togashi – författare

Visar alla böcker från författaren Atsushi Togashi. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   FORTE X / PSTV XVII ’97

   Av Teruo Higashino, Norio Shiratori m. fl.

   E-bok, 2013

   2925 kr

   Lägg i varukorg

   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, …

2. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   FORTE X / PSTV XVII ’97

   Av Atsushi Togashi, Tadanori Mizuno m. fl.

   Inbunden, 1997

   2253 kr

   Lägg i varukorg

   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, …

3. 

   Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97

   Av Atsushi Togashi, Tadanori Mizuno

   2013

   652 kr

   Lägg i varukorg

4. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   FORTE X / PSTV XVII ’97

   Av Atsushi Togashi, Tadanori Mizuno m. fl.

   Häftad, 2013

   2188 kr

   Lägg i varukorg

   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, …